https://github.com/MevenBertrand/metacoq
History
Tip revision: f4e9a80ea336fc7154aac9cce5385bd36a48125a authored by Matthieu Sozeau on 15 April 2021, 15:09:23 UTC
Merge pull request #542 from MetaCoq/fix-ocaml-fatal-warning-60
Tip revision: f4e9a80
File Mode Size
.github
.vscode
checker
dependency-graph
erasure
examples
html
pcuic
safechecker
template-coq
test-suite
translations
.gitignore -rw-r--r-- 10.2 KB
DOC.md -rw-r--r-- 4.1 KB
INSTALL.md -rw-r--r-- 3.9 KB
LICENSE -rw-r--r-- 1.3 KB
Makefile -rw-r--r-- 2.0 KB
README.md -rw-r--r-- 9.0 KB
TODO.md -rw-r--r-- 2.6 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

README.md

back to top