summaryrefslogtreecommitdiff
path: root/contrib/micromega
ModeNameSize
-rw-r--r--CheckerMaker.v4858logplain
-rw-r--r--Env.v4832logplain
-rw-r--r--EnvRing.v43817logplain
-rw-r--r--LICENSE.sos1583logplain
-rw-r--r--MExtraction.v1266logplain
-rw-r--r--OrderedRing.v14123logplain
-rw-r--r--Psatz.v2996logplain
-rw-r--r--QMicromega.v6397logplain
-rw-r--r--RMicromega.v5203logplain
-rw-r--r--Refl.v3519logplain
-rw-r--r--RingMicromega.v26616logplain
-rw-r--r--Tauto.v8931logplain
-rw-r--r--VarMap.v6710logplain
-rw-r--r--ZCoeff.v5258logplain
-rw-r--r--ZMicromega.v21280logplain
-rw-r--r--certificate.ml23152logplain
-rw-r--r--coq_micromega.ml37741logplain
-rw-r--r--csdpcert.ml6415logplain
-rw-r--r--g_micromega.ml42155logplain
-rw-r--r--mfourier.ml18349logplain
-rw-r--r--micromega.ml45757logplain
-rw-r--r--micromega.mli8809logplain
-rw-r--r--mutils.ml6874logplain
-rw-r--r--sos.ml73016logplain
-rw-r--r--sos.mli1781logplain
-rw-r--r--vector.ml15256logplain