micromega « plugins - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	CheckerMaker.v	4896	log plain
-rw-r--r--	Env.v	4557	log plain
-rw-r--r--	EnvRing.v	43798	log plain
-rw-r--r--	LICENSE.sos	1583	log plain
-rw-r--r--	MExtraction.v	2051	log plain
-rw-r--r--	OrderedRing.v	14122	log plain
-rw-r--r--	Psatz.v	3718	log plain
-rw-r--r--	QMicromega.v	6259	log plain
-rw-r--r--	RMicromega.v	5392	log plain
-rw-r--r--	Refl.v	3548	log plain
-rw-r--r--	RingMicromega.v	27315	log plain
-rw-r--r--	Tauto.v	8949	log plain
-rw-r--r--	VarMap.v	6767	log plain
-rw-r--r--	ZCoeff.v	5256	log plain
-rw-r--r--	ZMicromega.v	29901	log plain
-rw-r--r--	certificate.ml	25296	log plain
-rw-r--r--	coq_micromega.ml	54392	log plain
-rw-r--r--	csdpcert.ml	6832	log plain
-rw-r--r--	g_micromega.ml4	2243	log plain
-rw-r--r--	mfourier.ml	31316	log plain
-rw-r--r--	micromega.ml	52302	log plain
-rw-r--r--	micromega.mli	10246	log plain
-rw-r--r--	micromega_plugin.mllib	112	log plain
-rw-r--r--	mutils.ml	10412	log plain
-rw-r--r--	persistent_cache.ml	4566	log plain
-rw-r--r--	sos.ml	74411	log plain
-rw-r--r--	sos.mli	1161	log plain
-rw-r--r--	sos_lib.ml	22335	log plain
-rw-r--r--	sos_types.ml	2796	log plain
-rw-r--r--	vo.itarget	154	log plain