micromega « plugins - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	Env.v	3099	log plain
-rw-r--r--	EnvRing.v	31047	log plain
-rw-r--r--	LICENSE.sos	1583	log plain
-rw-r--r--	Lia.v	1707	log plain
-rw-r--r--	Lqa.v	2003	log plain
-rw-r--r--	Lra.v	2065	log plain
-rw-r--r--	MExtraction.v	2323	log plain
-rw-r--r--	OrderedRing.v	14119	log plain
-rw-r--r--	Psatz.v	2058	log plain
-rw-r--r--	QMicromega.v	6646	log plain
-rw-r--r--	RMicromega.v	13836	log plain
-rw-r--r--	Refl.v	3548	log plain
-rw-r--r--	RingMicromega.v	31534	log plain
-rw-r--r--	Tauto.v	14186	log plain
-rw-r--r--	VarMap.v	2502	log plain
-rw-r--r--	ZCoeff.v	5381	log plain
-rw-r--r--	ZMicromega.v	31069	log plain
-rw-r--r--	certificate.ml	38962	log plain
-rw-r--r--	coq_micromega.ml	79434	log plain
-rw-r--r--	csdpcert.ml	6827	log plain
-rw-r--r--	g_micromega.ml4	3062	log plain
-rw-r--r--	mfourier.ml	28521	log plain
-rw-r--r--	micromega.ml	50022	log plain
-rw-r--r--	micromega.mli	11735	log plain
-rw-r--r--	micromega_plugin.mlpack	102	log plain
-rw-r--r--	mutils.ml	11576	log plain
-rw-r--r--	persistent_cache.ml	6117	log plain
-rw-r--r--	polynomial.ml	19228	log plain
-rw-r--r--	sos.ml	74902	log plain
-rw-r--r--	sos.mli	1161	log plain
-rw-r--r--	sos_lib.ml	22310	log plain
-rw-r--r--	sos_types.ml	2796	log plain
-rw-r--r--	vo.itarget	159	log plain