https://github.com/HoTT/HoTT
History
Tip revision: bca7ccfa0ca359feb11c17a09f45042b46b23b68 authored by Ali Caglayan on 23 May 2022, 09:14:01 UTC
Merge pull request #1648 from patrick-nicodemus/monoidal-cat
Tip revision: bca7ccf
File Mode Size
.github
contrib
etc
theories
.gitignore -rw-r--r-- 1.3 KB
.gitmodules -rw-r--r-- 208 bytes
.mailmap -rw-r--r-- 2.7 KB
CREDITS.txt -rw-r--r-- 1.0 KB
INSTALL.md -rw-r--r-- 7.2 KB
LICENSE.txt -rw-r--r-- 1.6 KB
Makefile -rw-r--r-- 1.2 KB
Makefile.coq.local -rw-r--r-- 13.2 KB
Makefile.coq.local-early -rw-r--r-- 536 bytes
README.md -rw-r--r-- 3.6 KB
STYLE.md -rw-r--r-- 64.8 KB
UNICODE.txt -rw-r--r-- 1.0 KB
hott.opam -rw-r--r-- 766 bytes

README.md

back to top