https://github.com/HoTT/HoTT
Tip revision: 996f52bcbb567784db330193204637f70aad206f authored by Jason Gross on 21 October 2017, 00:06:19 UTC
Set Coq version to 8.7
Set Coq version to 8.7
Tip revision: 996f52b
| File | Mode | Size |
|---|---|---|
| contrib | ||
| coq | ||
| coq-HoTT @ 78e3385 | ||
| etc | ||
| theories | ||
| .gitignore | -rw-r--r-- | 844 bytes |
| .gitmodules | -rw-r--r-- | 326 bytes |
| .mailmap | -rw-r--r-- | 2.7 KB |
| .travis.yml | -rw-r--r-- | 2.5 KB |
| CREDITS.txt | -rw-r--r-- | 1.0 KB |
| INSTALL.md | -rw-r--r-- | 8.8 KB |
| LICENSE.txt | -rw-r--r-- | 1.6 KB |
| Makefile.am | -rw-r--r-- | 16.4 KB |
| README.md | -rw-r--r-- | 2.7 KB |
| STYLE.md | -rw-r--r-- | 62.4 KB |
| UNICODE.txt | -rw-r--r-- | 1.0 KB |
| _CoqProject | -rw-r--r-- | 12.7 KB |
| autogen.sh | -rwxr-xr-x | 1.6 KB |
| configure.ac | -rw-r--r-- | 9.3 KB |
| hoq-config.in | -rw-r--r-- | 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 |
