https://github.com/HoTT/HoTT
History
Tip revision: 822172df522ea751841c6df10514e1b952285dc3 authored by Jason Gross on 22 October 2019, 20:36:01 UTC
Merge pull request #1110 from JasonGross/use-V8.10.0
Tip revision: 822172d
File Mode Size
contrib
coq
coq-HoTT @ ff36cee
etc
theories
.gitignore -rw-r--r-- 857 bytes
.gitmodules -rw-r--r-- 330 bytes
.mailmap -rw-r--r-- 2.7 KB
.travis.yml -rw-r--r-- 2.3 KB
CREDITS.txt -rw-r--r-- 1.0 KB
INSTALL.md -rw-r--r-- 9.4 KB
LICENSE.txt -rw-r--r-- 1.6 KB
Makefile.am -rw-r--r-- 16.5 KB
README.md -rw-r--r-- 2.9 KB
STYLE.md -rw-r--r-- 62.6 KB
UNICODE.txt -rw-r--r-- 1.0 KB
_CoqProject -rw-r--r-- 15.0 KB
autogen.sh -rwxr-xr-x 1.6 KB
configure.ac -rw-r--r-- 9.3 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
hoqtop -rwxr-xr-x 1.5 KB
hoqtop.byte -rwxr-xr-x 1.6 KB

README.md

back to top