https://github.com/MevenBertrand/metacoq
Tip revision: 2d631dcd91d2315e5a52fea0fdc27e59c30abd57 authored by Meven on 03 February 2021, 23:41:40 UTC
adapting the README
adapting the README
Tip revision: 2d631dc
File | Mode | Size |
---|---|---|
plugin-demo | ||
CheckerTest.v | -rw-r--r-- | 333 bytes |
Makefile | -rw-r--r-- | 311 bytes |
Makefile.coq.local | -rw-r--r-- | 11 bytes |
_CoqProject | -rw-r--r-- | 678 bytes |
bug1.v | -rw-r--r-- | 420 bytes |
bug2.v | -rw-r--r-- | 173 bytes |
bug5.v | -rw-r--r-- | 160 bytes |
bug6.v | -rw-r--r-- | 177 bytes |
bug7.v | -rw-r--r-- | 216 bytes |
bug8.v | -rw-r--r-- | 120 bytes |
bugkncst.v | -rw-r--r-- | 3.1 KB |
case.v | -rw-r--r-- | 335 bytes |
castprop.v | -rw-r--r-- | 704 bytes |
cofix.v | -rw-r--r-- | 152 bytes |
erasure_live_test.v | -rw-r--r-- | 11.9 KB |
erasure_test.v | -rw-r--r-- | 1.5 KB |
evars.v | -rw-r--r-- | 1.2 KB |
extractable.v | -rw-r--r-- | 2.6 KB |
hnf_ctor.v | -rw-r--r-- | 158 bytes |
int.v | -rw-r--r-- | 356 bytes |
issue27.v | -rw-r--r-- | 136 bytes |
issue28.v | -rw-r--r-- | 1.8 KB |
issue453.v | -rw-r--r-- | 227 bytes |
letin.v | -rw-r--r-- | 305 bytes |
modules_sections.v | -rw-r--r-- | 2.4 KB |
mutind.v | -rw-r--r-- | 681 bytes |
opaque.v | -rw-r--r-- | 1.3 KB |
order_rec.v | -rw-r--r-- | 227 bytes |
primitive.v | -rw-r--r-- | 1.1 KB |
proj.v | -rw-r--r-- | 1.6 KB |
run_in_tactic.v | -rw-r--r-- | 239 bytes |
safechecker_test.v | -rw-r--r-- | 17.3 KB |
sprop_tests.v | -rw-r--r-- | 1.5 KB |
tmExistingInstance.v | -rw-r--r-- | 227 bytes |
tmFreshName.v | -rw-r--r-- | 336 bytes |
tmInferInstance.v | -rw-r--r-- | 453 bytes |
tmVariable.v | -rw-r--r-- | 561 bytes |
unfold.v | -rw-r--r-- | 173 bytes |
univ.v | -rw-r--r-- | 8.3 KB |
vs.v | -rwxr-xr-x | 74.3 KB |