1
0
Fork
You've already forked in-hott
0
No description
  • Agda 100%
Josh Chen 372c3c93b5 interim
2026年07月09日 16:49:19 +01:00
src interim 2026年07月09日 16:49:19 +01:00
.agda-lib restructure, clean up, StructureCoercion 2026年02月23日 00:26:11 +00:00
.gitignore init 2025年09月08日 12:19:46 +01:00
DESIGN.md working on wild natural transformations and commuting squares: interim commit just before upgrading the path solver to normalize whiskering 2026年06月23日 14:50:41 +01:00