Some extensions of the fundamental theorem of identity types#1243
Open
fredrik-bakke wants to merge 25 commits intoUniMath:masterfrom fredrik-bakke:unbased-extended-fundamental-thm-id
+758-210
Commits
Commits on Jan 27, 2025
- committed
- committed
- authored
- committed
- committed
- committed
Commits on Jan 28, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 29, 2025
- committed
- committed
- committed