https://github.com/MevenBertrand/metacoq
History
Tip revision: 2d631dcd91d2315e5a52fea0fdc27e59c30abd57 authored by Meven on 03 February 2021, 23:41:40 UTC
adapting the README
Tip revision: 2d631dc
File Mode Size
src
theories
Makefile -rw-r--r-- 1.3 KB
Makefile.local -rw-r--r-- 148 bytes
Makefile.plugin.local -rw-r--r-- 178 bytes
Makefile.safechecker.local -rw-r--r-- 135 bytes
_CoqProject.in -rw-r--r-- 331 bytes
_PluginProject.in -rw-r--r-- 2.2 KB
clean_extraction.sh -rwxr-xr-x 945 bytes
demo.v -rw-r--r-- 173 bytes

back to top