Skip to content

Start a tutorial about simple inductive types#91

Draft
Villetaneuse wants to merge 1 commit into
rocq-prover:mainfrom
Villetaneuse:simple_inductive
Draft

Start a tutorial about simple inductive types#91
Villetaneuse wants to merge 1 commit into
rocq-prover:mainfrom
Villetaneuse:simple_inductive

Start a tutorial about simple inductive types

8dadfc2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs