micromega « plugins - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	Env.v	3108	log plain
-rw-r--r--	EnvRing.v	31052	log plain
-rw-r--r--	LICENSE.sos	1583	log plain
-rw-r--r--	MExtraction.v	2316	log plain
-rw-r--r--	OrderedRing.v	14122	log plain
-rw-r--r--	Psatz.v	4100	log plain
-rw-r--r--	QMicromega.v	6632	log plain
-rw-r--r--	RMicromega.v	13841	log plain
-rw-r--r--	Refl.v	3548	log plain
-rw-r--r--	RingMicromega.v	31560	log plain
-rw-r--r--	Tauto.v	14186	log plain
-rw-r--r--	VarMap.v	1862	log plain
-rw-r--r--	ZCoeff.v	5237	log plain
-rw-r--r--	ZMicromega.v	30883	log plain
-rw-r--r--	certificate.ml	37410	log plain
-rw-r--r--	coq_micromega.ml	64695	log plain
-rw-r--r--	csdpcert.ml	6814	log plain
-rw-r--r--	g_micromega.ml4	2625	log plain
-rw-r--r--	mfourier.ml	28188	log plain
-rw-r--r--	micromega.ml	99614	log plain
-rw-r--r--	micromega.mli	24673	log plain
-rw-r--r--	micromega_plugin.mllib	123	log plain
-rw-r--r--	mutils.ml	11047	log plain
-rw-r--r--	persistent_cache.ml	5485	log plain
-rw-r--r--	polynomial.ml	19363	log plain
-rw-r--r--	sos.ml	74895	log plain
-rw-r--r--	sos.mli	1161	log plain
-rw-r--r--	sos_lib.ml	22339	log plain
-rw-r--r--	sos_types.ml	2796	log plain
-rw-r--r--	vo.itarget	138	log plain