https://github.com/jaycech3n/Isabelle-HoTT
Revision dfd241b2d85fc5a4ad4d7ddd64adf0138b05f083 authored by Josh Chen on 21 July 2020, 00:16:14 UTC, committed by GitHub on 21 July 2020, 00:16:14 UTC
2 parent s 6aaf4d5 + 12eed86
History
Tip revision: dfd241b2d85fc5a4ad4d7ddd64adf0138b05f083 authored by Josh Chen on 21 July 2020, 00:16:14 UTC
Merge pull request #8 from jaycech3n/dev
Tip revision: dfd241b
File Mode Size
.github
hott
spartan
.gitignore -rw-r--r-- 30 bytes
LICENSE -rw-r--r-- 9.7 KB
README.md -rw-r--r-- 2.1 KB
ROOT -rw-r--r-- 869 bytes

README.md

back to top