Coq Gallina — reference sample — DedSec Project
Definition answer : nat := 42. Compute answer.
Source reference
Definition answer : nat := 42.
Compute answer.
Definition answer : nat := 42. Compute answer.
Definition answer : nat := 42.
Compute answer.