Coq Gallina — δείγμα κώδικα — DedSec Project
Definition answer : nat := 42. Compute answer.
Αναφορά πηγαίου κώδικα
Definition answer : nat := 42.
Compute answer.
Definition answer : nat := 42. Compute answer.
Definition answer : nat := 42.
Compute answer.