https://github.com/HoTT/HoTT
Tip revision: 807aa717b399291ec5379fc64e09f7a329af075d authored by Ali Caglayan on 13 March 2020, 11:08:33 UTC
Merge pull request #1293 from Alizter/conjclean
Merge pull request #1293 from Alizter/conjclean
Tip revision: 807aa71
| File | Mode | Size |
|---|---|---|
| .github | ||
| contrib | ||
| coq | ||
| coq-HoTT @ aea8e0b | ||
| 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.6 KB |
| LICENSE.txt | -rw-r--r-- | 1.6 KB |
| Makefile.am | -rw-r--r-- | 16.5 KB |
| README.md | -rw-r--r-- | 3.0 KB |
| STYLE.md | -rw-r--r-- | 63.4 KB |
| UNICODE.txt | -rw-r--r-- | 1.0 KB |
| _CoqProject | -rw-r--r-- | 16.5 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 |
