File Mode Size
.github
etc
src
.gitattributes -rw-r--r-- 32 bytes
.gitignore -rw-r--r-- 2.9 KB
.gitmodules -rw-r--r-- 107 bytes
.mailmap -rw-r--r-- 2.3 KB
AUTHORS -rw-r--r-- 503 bytes
CONTRIBUTORS -rw-r--r-- 1.0 KB
COPYRIGHT -rw-r--r-- 370 bytes
LICENSE-APACHE -rw-r--r-- 635 bytes
LICENSE-BSD-1 -rw-r--r-- 1.1 KB
LICENSE-MIT -rw-r--r-- 1.1 KB
LiftLetsMap.txt -rw-r--r-- 7.2 MB
Makefile -rw-r--r-- 2.9 KB
Makefile.local -rw-r--r-- 288 bytes
Makefile.local-late -rw-r--r-- 610 bytes
Makefile.local.common -rw-r--r-- 2.4 KB
Plus0Tree.txt -rw-r--r-- 3.7 MB
README.md -rw-r--r-- 12.4 KB
SieveOfEratosthenes.txt -rw-r--r-- 1.4 MB
UnderLetsPlus0.txt -rw-r--r-- 1.4 MB
_CoqProject.in -rw-r--r-- 5.1 KB
perf.csv -rw-r--r-- 17.0 MB
rewriting-extended.md -rw-r--r-- 125.0 KB
time-of-build-perf.log -rw-r--r-- 37.0 KB

README.md

back to top