https://github.com/HoTT/HoTT
History
Tip revision: e88a86aa6b07f82ac33223e3f36b861fb845a4c5 authored by Ali Caglayan on 19 March 2024, 21:13:09 UTC
Merge pull request #1899 from gio256/develop
Tip revision: e88a86a
File Mode Size
.github
contrib
etc
test
theories
.gitignore -rw-r--r-- 1.4 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.4 KB
LICENSE.txt -rw-r--r-- 1.6 KB
Makefile -rw-r--r-- 1.2 KB
Makefile.coq.local -rw-r--r-- 11.7 KB
Makefile.coq.local-early -rw-r--r-- 555 bytes
README.md -rw-r--r-- 3.6 KB
STYLE.md -rw-r--r-- 66.4 KB
UNICODE.txt -rw-r--r-- 1.0 KB
coq-hott.opam -rw-r--r-- 891 bytes
dune -rw-r--r-- 1.1 KB
dune-project -rw-r--r-- 646 bytes
flake.lock -rw-r--r-- 1.5 KB
flake.nix -rw-r--r-- 820 bytes

README.md

back to top