https://github.com/MevenBertrand/metacoq
History
Tip revision: 500e67e6238cfa166d065bf0b64d181af8316be3 authored by Théo Winterhalter on 15 October 2019, 15:26:05 UTC
Merge pull request #314 from MetaCoq/conv-args-coq8.8-again
Tip revision: 500e67e
File Mode Size
.vscode
checker
docs
erasure
html
pcuic
safechecker
template-coq
test-suite
translations
.gitignore -rw-r--r-- 8.9 KB
.travis.yml -rw-r--r-- 1.5 KB
LICENSE -rw-r--r-- 1.2 KB
Makefile -rw-r--r-- 1.9 KB
README.md -rw-r--r-- 15.8 KB
configure.sh -rwxr-xr-x 2.6 KB
coq-metacoq-checker.opam -rw-r--r-- 1.5 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.7 KB
coq-metacoq-translations.opam -rw-r--r-- 1.2 KB
coq-metacoq.opam -rw-r--r-- 1.4 KB
metacoq.code-workspace -rw-r--r-- 43 bytes

README.md

back to top