micromega « plugins - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	Env.v	3249	log plain
-rw-r--r--	EnvRing.v	31377	log plain
-rw-r--r--	Fourier.v	129	log plain
-rw-r--r--	Fourier_util.v	693	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	14324	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	34753	log plain
-rw-r--r--	certificate.mli	1232	log plain
-rw-r--r--	coq_micromega.ml	74049	log plain
-rw-r--r--	coq_micromega.mli	1406	log plain
-rw-r--r--	csdpcert.ml	6190	log plain
-rw-r--r--	csdpcert.mli	675	log plain
-rw-r--r--	g_micromega.mlg	3213	log plain
-rw-r--r--	g_micromega.mli	675	log plain
-rw-r--r--	mfourier.ml	27171	log plain
-rw-r--r--	mfourier.mli	1473	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	8987	log plain
-rw-r--r--	mutils.mli	2227	log plain
-rw-r--r--	persistent_cache.ml	6282	log plain
-rw-r--r--	persistent_cache.mli	1902	log plain
-rw-r--r--	polynomial.ml	17824	log plain
-rw-r--r--	polynomial.mli	2936	log plain
-rw-r--r--	sos.ml	45413	log plain
-rw-r--r--	sos.mli	1311	log plain
-rw-r--r--	sos_lib.ml	19519	log plain
-rw-r--r--	sos_lib.mli	3051	log plain
-rw-r--r--	sos_types.ml	2946	log plain
-rw-r--r--	sos_types.mli	1421	log plain