Skip to content

Formalize singleton and mutual inductive generation - #3

Merged
johnchandlerburnham merged 67 commits into
devfrom
jcb/formalization
Aug 8, 2026
Merged

Formalize singleton and mutual inductive generation#3
johnchandlerburnham merged 67 commits into
devfrom
jcb/formalization

inductive: close mutual generation milestone

c8977a1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar