Transport-split and preunivalent type families#1013
Merged
EgbertRijke merged 30 commits intoUniMath:masterfrom fredrik-bakke:transport-splitJan 31, 2024
+676-100
Commits
Commits on Jan 25, 2024
Commits on Jan 26, 2024
- committed
- committed
Commits on Jan 27, 2024
- committed
Commits on Jan 28, 2024
- committed
- committed
- authored
- committed
- committed
- authored
- committed
Commits on Jan 30, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
