https://github.com/MevenBertrand/metacoq
Tip revision: 33529a2b12ef8a11d3825f1096cecb33c69e1f6a authored by Matthieu Sozeau on 15 February 2018, 15:10:27 UTC
Backport README and LICENSE changes from master branch
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 |