Literature – Idempotents in Intensional Type Theory#1160
Merged
VojtechStep merged 17 commits intoUniMath:masterfrom fredrik-bakke:literature-idempotents-splitAug 21, 2024
+667-18
Commits
Commits on Aug 2, 2024
Commits on Aug 3, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 5, 2024
- committed
- committed
Commits on Aug 17, 2024
Commits on Aug 18, 2024
- committed