https://github.com/HoTT/HoTT
History
Tip revision: 5dd043774cbbe1337b3b92cc262a30892da3559e authored by Ali Caglayan on 05 August 2020, 22:18:58 UTC
Merge pull request #1374 from Alizter/8.12
Tip revision: 5dd0437
File Mode Size
.github
contrib
coq
coq-HoTT @ c97b82c
etc
theories
.gitignore -rw-r--r-- 905 bytes
.gitmodules -rw-r--r-- 330 bytes
.mailmap -rw-r--r-- 2.7 KB
CREDITS.txt -rw-r--r-- 1.0 KB
INSTALL.md -rw-r--r-- 9.7 KB
LICENSE.txt -rw-r--r-- 1.6 KB
Makefile.am -rw-r--r-- 16.6 KB
README.md -rw-r--r-- 2.9 KB
STYLE.md -rw-r--r-- 63.8 KB
UNICODE.txt -rw-r--r-- 1.0 KB
_CoqProject -rw-r--r-- 17.2 KB
autogen.sh -rwxr-xr-x 857 bytes
configure.ac -rw-r--r-- 10.5 KB
hoq-config.in -rwxr-xr-x 1.8 KB
hoqc -rwxr-xr-x 1.5 KB
hoqchk -rwxr-xr-x 1.5 KB
hoqdep -rwxr-xr-x 1.5 KB
hoqide -rwxr-xr-x 1.5 KB
hoqidetop -rwxr-xr-x 1.6 KB
hoqtop -rwxr-xr-x 1.5 KB
hoqtop.byte -rwxr-xr-x 1.6 KB

README.md

back to top