https://github.com/HoTT/HoTT
History
Tip revision: db0971e01755e11dc48cdfc0ae0e11799ad06d1d authored by Ali Caglayan on 21 January 2022, 20:45:57 UTC
Merge pull request #1620 from Alizter/fix-warnings
Tip revision: db0971e
File Mode Size
.github
contrib
etc
theories
.gitignore -rw-r--r-- 1.3 KB
.gitmodules -rw-r--r-- 321 bytes
.mailmap -rw-r--r-- 2.7 KB
CREDITS.txt -rw-r--r-- 1.0 KB
INSTALL.md -rw-r--r-- 7.2 KB
LICENSE.txt -rw-r--r-- 1.6 KB
Makefile -rw-r--r-- 1.2 KB
Makefile.coq.local -rw-r--r-- 13.9 KB
Makefile.coq.local-early -rw-r--r-- 536 bytes
README.md -rw-r--r-- 3.6 KB
STYLE.md -rw-r--r-- 64.8 KB
UNICODE.txt -rw-r--r-- 1.0 KB
autogen.sh -rwxr-xr-x 845 bytes
hott.opam -rw-r--r-- 766 bytes

README.md

back to top