micromega « plugins - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	CheckerMaker.v	4858	log plain
-rw-r--r--	Env.v	4832	log plain
-rw-r--r--	EnvRing.v	43817	log plain
-rw-r--r--	LICENSE.sos	1583	log plain
-rw-r--r--	MExtraction.v	2021	log plain
-rw-r--r--	OrderedRing.v	14123	log plain
-rw-r--r--	Psatz.v	3090	log plain
-rw-r--r--	QMicromega.v	6385	log plain
-rw-r--r--	RMicromega.v	5408	log plain
-rw-r--r--	Refl.v	3519	log plain
-rw-r--r--	RingMicromega.v	27386	log plain
-rw-r--r--	Tauto.v	8985	log plain
-rw-r--r--	VarMap.v	6710	log plain
-rw-r--r--	ZCoeff.v	5258	log plain
-rw-r--r--	ZMicromega.v	29988	log plain
-rw-r--r--	certificate.ml	25549	log plain
-rw-r--r--	coq_micromega.ml	46799	log plain
-rw-r--r--	csdpcert.ml	6905	log plain
-rw-r--r--	g_micromega.ml4	2106	log plain
-rw-r--r--	mfourier.ml	31747	log plain
-rw-r--r--	micromega.ml	51980	log plain
-rw-r--r--	micromega.mli	10102	log plain
-rw-r--r--	micromega_plugin.mllib	112	log plain
-rw-r--r--	mutils.ml	9292	log plain
-rw-r--r--	persistent_cache.ml	4614	log plain
-rw-r--r--	sos.ml	76359	log plain
-rw-r--r--	sos.mli	1162	log plain
-rw-r--r--	sos_lib.ml	22340	log plain
-rw-r--r--	sos_types.ml	2796	log plain