https://github.com/MevenBertrand/metacoq
Revision 2f62853a2c475bec0e3e1d314e4f3e023721110e authored by SimonBoulier on 24 February 2020, 08:39:06 UTC, committed by SimonBoulier on 24 February 2020, 08:39:06 UTC
1 parent 4bcf94b
History
Tip revision: 2f62853a2c475bec0e3e1d314e4f3e023721110e authored by SimonBoulier on 24 February 2020, 08:39:06 UTC
WIP
Tip revision: 2f62853
File Mode Size
src
theories
Makefile -rw-r--r-- 1.2 KB
Makefile.local -rw-r--r-- 148 bytes
Makefile.plugin.local -rw-r--r-- 74 bytes
Makefile.safechecker.local -rw-r--r-- 135 bytes
_CoqProject.in -rw-r--r-- 202 bytes
_PluginProject.in -rw-r--r-- 1.9 KB
clean_extraction.sh -rwxr-xr-x 945 bytes
demo.v -rw-r--r-- 119 bytes

back to top