index
:
smtcoq
coq-8.13
Fork of https://github.com/smtcoq/smtcoq.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
Mode
Name
Size
-rw-r--r--
BEST_PRACTICE.md
911
log
stats
plain
-rw-r--r--
Conversion_tactics.v
16890
log
stats
plain
-rw-r--r--
Makefile
28512
log
stats
plain
-rw-r--r--
Makefile.local
1047
log
stats
plain
-rw-r--r--
Misc.v
49748
log
stats
plain
d---------
PArray
36
log
stats
plain
-rw-r--r--
PropToBool.v
10173
log
stats
plain
-rw-r--r--
QInst.v
7223
log
stats
plain
-rw-r--r--
ReflectFacts.v
3027
log
stats
plain
-rw-r--r--
SMTCoq.v
1020
log
stats
plain
-rw-r--r--
SMT_terms.v
110857
log
stats
plain
-rw-r--r--
State.v
22396
log
stats
plain
-rw-r--r--
Tactics.v
5113
log
stats
plain
-rw-r--r--
Trace.v
36401
log
stats
plain
-rw-r--r--
_CoqProject
2877
log
stats
plain
d---------
array
163
log
stats
plain
d---------
bva
77
log
stats
plain
d---------
classes
92
log
stats
plain
d---------
cnf
33
log
stats
plain
d---------
euf
33
log
stats
plain
d---------
extraction
616
log
stats
plain
-rw-r--r--
g_smtcoq.mlg
3663
log
stats
plain
d---------
lfsc
774
log
stats
plain
d---------
lia
102
log
stats
plain
-rw-r--r--
smtcoq_plugin.mlpack
407
log
stats
plain
d---------
smtlib2
346
log
stats
plain
d---------
spl
159
log
stats
plain
d---------
trace
950
log
stats
plain
d---------
verit
243
log
stats
plain
d---------
zchaff
324
log
stats
plain