index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
plugins
/
micromega
Mode
Name
Size
-rw-r--r--
Env.v
3249
log
plain
-rw-r--r--
EnvRing.v
31377
log
plain
-rw-r--r--
LICENSE.sos
1583
log
plain
-rw-r--r--
Lia.v
1857
log
plain
-rw-r--r--
Lqa.v
2153
log
plain
-rw-r--r--
Lra.v
2215
log
plain
-rw-r--r--
MExtraction.v
2684
log
plain
-rw-r--r--
OrderedRing.v
14269
log
plain
-rw-r--r--
Psatz.v
2208
log
plain
-rw-r--r--
QMicromega.v
6796
log
plain
-rw-r--r--
RMicromega.v
8485
log
plain
-rw-r--r--
Refl.v
3698
log
plain
-rw-r--r--
RingMicromega.v
31705
log
plain
-rw-r--r--
Tauto.v
14336
log
plain
-rw-r--r--
VarMap.v
2502
log
plain
-rw-r--r--
ZCoeff.v
5531
log
plain
-rw-r--r--
ZMicromega.v
31219
log
plain
-rw-r--r--
certificate.ml
39112
log
plain
-rw-r--r--
coq_micromega.ml
81789
log
plain
-rw-r--r--
csdpcert.ml
6977
log
plain
-rw-r--r--
g_micromega.ml4
3195
log
plain
-rw-r--r--
mfourier.ml
28533
log
plain
-rw-r--r--
micromega.ml
49662
log
plain
-rw-r--r--
micromega.mli
11724
log
plain
-rw-r--r--
micromega_plugin.mlpack
102
log
plain
-rw-r--r--
mutils.ml
11382
log
plain
-rw-r--r--
persistent_cache.ml
6282
log
plain
-rw-r--r--
polynomial.ml
19378
log
plain
-rw-r--r--
sos.ml
65558
log
plain
-rw-r--r--
sos.mli
1311
log
plain
-rw-r--r--
sos_lib.ml
22318
log
plain
-rw-r--r--
sos_types.ml
2946
log
plain
-rw-r--r--
sos_types.mli
1421
log
plain