https://github.com/HoTT/HoTT
History
Tip revision: 93cedccd3c31fe3bb2d774c9acedd2d0923dc958 authored by Mike Shulman on 13 July 2016, 13:47:07 UTC
Merge pull request #822 from JasonGross/rename-hit-categories
Tip revision: 93cedcc
File Mode Size
contrib
coq
coq-HoTT @ d5cbd7b
etc
theories
.gitignore -rw-r--r-- 1.3 KB
.gitmodules -rw-r--r-- 201 bytes
.mailmap -rw-r--r-- 2.7 KB
.travis.yml -rw-r--r-- 3.2 KB
CREDITS.txt -rw-r--r-- 1.0 KB
INSTALL.md -rw-r--r-- 11.5 KB
LICENSE.txt -rw-r--r-- 1.6 KB
Makefile.am -rw-r--r-- 16.0 KB
README.md -rw-r--r-- 2.2 KB
STYLE.md -rw-r--r-- 61.7 KB
UNICODE.txt -rw-r--r-- 1.0 KB
_CoqProject -rw-r--r-- 10.5 KB
autogen.sh -rwxr-xr-x 1.6 KB
configure.ac -rw-r--r-- 8.1 KB
hoq-config.in -rw-r--r-- 1.7 KB
hoqc -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