micromega « plugins - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	LICENSE.sos	1583	log plain
-rw-r--r--	certificate.ml	34837	log plain
-rw-r--r--	certificate.mli	2362	log plain
-rw-r--r--	coq_micromega.ml	82099	log plain
-rw-r--r--	coq_micromega.mli	1643	log plain
-rw-r--r--	csdpcert.ml	6709	log plain
-rw-r--r--	csdpcert.mli	675	log plain
-rw-r--r--	g_micromega.mlg	3277	log plain
-rw-r--r--	g_micromega.mli	675	log plain
-rw-r--r--	g_zify.mlg	2243	log plain
-rw-r--r--	itv.ml	2514	log plain
-rw-r--r--	itv.mli	983	log plain
-rw-r--r--	mfourier.ml	26561	log plain
-rw-r--r--	mfourier.mli	1137	log plain
-rw-r--r--	micromega.ml	64049	log plain
-rw-r--r--	micromega.mli	17259	log plain
-rw-r--r--	micromega_plugin.mlpack	119	log plain
-rw-r--r--	mutils.ml	12792	log plain
-rw-r--r--	mutils.mli	4062	log plain
-rw-r--r--	persistent_cache.ml	5389	log plain
-rw-r--r--	persistent_cache.mli	1713	log plain
-rw-r--r--	plugin_base.dune	560	log plain
-rw-r--r--	polynomial.ml	33852	log plain
-rw-r--r--	polynomial.mli	11409	log plain
-rw-r--r--	simplex.ml	24533	log plain
-rw-r--r--	simplex.mli	1229	log plain
-rw-r--r--	sos.ml	45621	log plain
-rw-r--r--	sos.mli	1306	log plain
-rw-r--r--	sos_lib.ml	19236	log plain
-rw-r--r--	sos_lib.mli	3072	log plain
-rw-r--r--	sos_types.ml	2763	log plain
-rw-r--r--	sos_types.mli	1405	log plain
-rw-r--r--	vect.ml	8886	log plain
-rw-r--r--	vect.mli	6510	log plain
-rw-r--r--	zify.ml	44905	log plain
-rw-r--r--	zify.mli	1224	log plain
-rw-r--r--	zify_plugin.mlpack	12	log plain