https://github.com/MevenBertrand/metacoq
History
Tip revision: 2d631dcd91d2315e5a52fea0fdc27e59c30abd57 authored by Meven on 03 February 2021, 23:41:40 UTC
adapting the README
Tip revision: 2d631dc
File Mode Size
.github
.vscode
bidirectional
checker
dependency-graph
erasure
examples
html
pcuic
safechecker
template-coq
test-suite
translations
.gitignore -rw-r--r-- 10.3 KB
DOC.md -rw-r--r-- 4.7 KB
INSTALL.md -rw-r--r-- 3.9 KB
LICENSE -rw-r--r-- 1.3 KB
METACOQ.md -rw-r--r-- 9.0 KB
Makefile -rw-r--r-- 2.0 KB
README.md -rw-r--r-- 3.0 KB
TODO.md -rw-r--r-- 3.3 KB
configure.sh -rwxr-xr-x 1.9 KB
coq-metacoq-erasure.opam -rw-r--r-- 1.6 KB
coq-metacoq-pcuic.opam -rw-r--r-- 1.5 KB
coq-metacoq-safechecker.opam -rw-r--r-- 1.4 KB
coq-metacoq-template.opam -rw-r--r-- 1.8 KB
coq-metacoq-translations.opam -rw-r--r-- 1.2 KB
coq-metacoq.opam -rw-r--r-- 1.3 KB
replace.sh -rw-r--r-- 275 bytes

README.md

back to top