Skip to content

Add induction hypotheses to the generated principles for inductive types.#2

Closed
DIJamner wants to merge 2 commits into
triviajon:mainfrom
DIJamner:induction-principle-with-ih
Closed

Add induction hypotheses to the generated principles for inductive types.#2
DIJamner wants to merge 2 commits into
triviajon:mainfrom
DIJamner:induction-principle-with-ih

Generate induction principles for parametric inductives

b73fd16
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs