Skip to content

Set Polymorphic Inductive Cumulativity#136

Open
JasonGross wants to merge 5 commits intocoq-community:masterfrom JasonGross:cumul
+73-49

Commits

Commits on May 3, 2023

Commits on May 4, 2023

Commits on Jan 4, 2024

Commits on Jan 8, 2024

Commits on Jan 21, 2025