https://github.com/MevenBertrand/metacoq
History
Tip revision: 33529a2b12ef8a11d3825f1096cecb33c69e1f6a authored by Matthieu Sozeau on 15 February 2018, 15:10:27 UTC
Backport README and LICENSE changes from master branch
Tip revision: 33529a2
File Mode Size
html
src
test-suite
theories
translations
.gitignore -rw-r--r-- 1.4 KB
.travis.yml -rw-r--r-- 933 bytes
LICENSE -rw-r--r-- 1.2 KB
Makefile -rw-r--r-- 1.6 KB
Makefile.coq.local -rw-r--r-- 77 bytes
Makefile.coqchecker.local -rw-r--r-- 77 bytes
Makefile.coqplugin.local -rw-r--r-- 77 bytes
README.md -rw-r--r-- 6.8 KB
_CheckerProject -rw-r--r-- 379 bytes
_CompilerProject -rw-r--r-- 986 bytes
_CoqProject -rw-r--r-- 363 bytes
movefiles.sh -rw-r--r-- 120 bytes

README.md

back to top