Skip to content

Keep the dependencies between members of a mutual inductive block - #180

Open
JasonGross wants to merge 2 commits into
rocq-community:coq-masterfrom
theorem-labs:mutual-inductive-sibling-deps
Open

Keep the dependencies between members of a mutual inductive block#180
JasonGross wants to merge 2 commits into
rocq-community:coq-masterfrom
theorem-labs:mutual-inductive-sibling-deps

Commits

Commits on Aug 13, 2026