Skip to content

Proposal for unifying the syntax for parameters and indices of inductive types#60

Open
herbelin wants to merge 1 commit intocoq:masterfrom herbelin:inductive-flexible-parameters-indices
+128

Commits