https://github.com/jaycech3n/Isabelle-HoTT
Revision f46df86db9308dde29e0e5f97f54546ea1dc34bf authored by Josh Chen on 18 January 2021, 23:49:13 UTC, committed by Josh Chen on 18 January 2021, 23:49:13 UTC
1 parent 3922e24
History
Tip revision: f46df86db9308dde29e0e5f97f54546ea1dc34bf authored by Josh Chen on 18 January 2021, 23:49:13 UTC
Swapped notation for metas (now ?) and holes (now {}), other notation and name changes.
Tip revision: f46df86
File Mode Size
.github
hott
spartan
.gitignore -rw-r--r-- 27 bytes
LICENSE -rw-r--r-- 9.8 KB
README.md -rw-r--r-- 2.1 KB
ROOT -rw-r--r-- 850 bytes

README.md

back to top