Revision b4c8c4460ddaa9615c02097e252bc037b126bca4 authored by Matthieu Sozeau on 25 July 2019, 06:14:10 UTC, committed by Matthieu Sozeau on 25 July 2019, 06:14:10 UTC
1 parent 5174c8f
History
File Mode Size
checker
erasure
html
pcuic
safechecker
template-coq
test-suite
translations
.gitignore -rw-r--r-- 8.0 KB
.travis.yml -rw-r--r-- 1.1 KB
LICENSE -rw-r--r-- 1.2 KB
Makefile -rw-r--r-- 1.4 KB
README.md -rw-r--r-- 10.4 KB
configure.sh -rwxr-xr-x 2.4 KB
coq-metacoq-checker.opam -rw-r--r-- 1.5 KB
coq-metacoq-extraction.opam -rw-r--r-- 1.6 KB
coq-metacoq-pcuic.opam -rw-r--r-- 1.5 KB
coq-metacoq-template.opam -rw-r--r-- 1.7 KB
coq-metacoq.opam -rw-r--r-- 1.2 KB

README.md

back to top