Start a tutorial about simple inductive types - #91

Start a tutorial about simple inductive types#91

Villetaneuse wants to merge 1 commit into

rocq-prover:mainrocq-prover/platform-docs:mainfrom

Villetaneuse:simple_inductiveVilletaneuse/platform-docs:simple_inductiveCopy head branch name to clipboard