micromega « plugins - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	DeclConstant.v	2842	log plain
-rw-r--r--	Env.v	3249	log plain
-rw-r--r--	EnvRing.v	31429	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	2023	log plain
-rw-r--r--	Lqa.v	2183	log plain
-rw-r--r--	Lra.v	2216	log plain
-rw-r--r--	MExtraction.v	2844	log plain
-rw-r--r--	OrderedRing.v	14270	log plain
-rw-r--r--	Psatz.v	2208	log plain
-rw-r--r--	QMicromega.v	7272	log plain
-rw-r--r--	RMicromega.v	12546	log plain
-rw-r--r--	Refl.v	4034	log plain
-rw-r--r--	RingMicromega.v	32193	log plain
-rw-r--r--	Tauto.v	20214	log plain
-rw-r--r--	VarMap.v	2541	log plain
-rw-r--r--	ZCoeff.v	5529	log plain
-rw-r--r--	ZMicromega.v	44390	log plain
-rw-r--r--	certificate.ml	35519	log plain
-rw-r--r--	certificate.mli	2383	log plain
-rw-r--r--	coq_micromega.ml	77638	log plain
-rw-r--r--	coq_micromega.mli	1667	log plain
-rw-r--r--	csdpcert.ml	6190	log plain
-rw-r--r--	csdpcert.mli	675	log plain
-rw-r--r--	g_micromega.mlg	3305	log plain
-rw-r--r--	g_micromega.mli	675	log plain
-rw-r--r--	itv.ml	2682	log plain
-rw-r--r--	itv.mli	982	log plain
-rw-r--r--	mfourier.ml	26110	log plain
-rw-r--r--	mfourier.mli	1155	log plain
-rw-r--r--	micromega.ml	61050	log plain
-rw-r--r--	micromega.mli	15217	log plain
-rw-r--r--	micromega_plugin.mlpack	119	log plain
-rw-r--r--	mutils.ml	10492	log plain
-rw-r--r--	mutils.mli	3116	log plain
-rw-r--r--	persistent_cache.ml	5602	log plain
-rw-r--r--	persistent_cache.mli	1585	log plain
-rw-r--r--	plugin_base.dune	400	log plain
-rw-r--r--	polynomial.ml	31987	log plain
-rw-r--r--	polynomial.mli	10727	log plain
-rw-r--r--	simplex.ml	20791	log plain
-rw-r--r--	simplex.mli	958	log plain
-rw-r--r--	sos.ml	44801	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	2769	log plain
-rw-r--r--	sos_types.mli	1378	log plain
-rw-r--r--	vect.ml	8797	log plain
-rw-r--r--	vect.mli	6276	log plain