Set Polymorphic Inductive Cumulativity#136
Open
JasonGross wants to merge 5 commits intorocq-community:masterfrom
Open
Set Polymorphic Inductive Cumulativity#136JasonGross wants to merge 5 commits intorocq-community:masterfrom
JasonGross wants to merge 5 commits intorocq-community:masterfrom
Commits
Commits on May 3, 2023
Commits on May 4, 2023
- committed
Commits on Jan 4, 2024
- authored
Yishuai Li
Commits on Jan 8, 2024
- authoredYishuai Li
Commits on Jan 21, 2025
- authoredYishuai Li