https://github.com/MevenBertrand/metacoq
History
Tip revision: bacd5478db619c0f642e1c1f0a9d4574afaa4a07 authored by Gregory Malecha on 07 June 2019, 18:24:24 UTC
adding `Generate Definition` and use for generating definitions.
Tip revision: bacd547
File Mode Size
checker
extraction
html
pcuic
template-coq
test-suite
translations
.gitignore -rw-r--r-- 5.6 KB
.travis.yml -rw-r--r-- 1.0 KB
LICENSE -rw-r--r-- 1.2 KB
Makefile -rw-r--r-- 1.2 KB
README.md -rw-r--r-- 7.9 KB
movefiles.sh -rwxr-xr-x 326 bytes

README.md

back to top