https://github.com/jaycech3n/Isabelle-HoTT
Revision 9050b7414021db31b23a034567ebc6da3f6c5f67 authored by Josh Chen on 03 June 2020, 11:10:35 UTC, committed by Josh Chen on 03 June 2020, 11:10:35 UTC
2 parent s ccc26cf + 515c142
History
Tip revision: 9050b7414021db31b23a034567ebc6da3f6c5f67 authored by Josh Chen on 03 June 2020, 11:10:35 UTC
Merge branch 'dev'
Tip revision: 9050b74
File Mode Size
hott
spartan
.gitignore -rw-r--r-- 20 bytes
LICENSE -rw-r--r-- 9.7 KB
README.md -rw-r--r-- 1.7 KB
ROOT -rw-r--r-- 956 bytes
TODO.md -rw-r--r-- 602 bytes

README.md

back to top