micromega « plugins - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	.ocamlformat	14	log plain
-rw-r--r--	.ocamlformat-ignore	13	log plain
-rw-r--r--	LICENSE.sos	1583	log plain
-rw-r--r--	certificate.ml	34715	log plain
-rw-r--r--	certificate.mli	2205	log plain
-rw-r--r--	coq_micromega.ml	85410	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--	dune	595	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	3827	log plain
-rw-r--r--	itv.ml	2525	log plain
-rw-r--r--	itv.mli	989	log plain
-rw-r--r--	mfourier.ml	26523	log plain
-rw-r--r--	mfourier.mli	1137	log plain
-rw-r--r--	micromega.ml	74289	log plain
-rw-r--r--	micromega.mli	22282	log plain
-rw-r--r--	micromega_plugin.mlpack	129	log plain
-rw-r--r--	mutils.ml	12543	log plain
-rw-r--r--	mutils.mli	3964	log plain
-rw-r--r--	numCompat.ml	4446	log plain
-rw-r--r--	numCompat.mli	2420	log plain
-rw-r--r--	persistent_cache.ml	5582	log plain
-rw-r--r--	persistent_cache.mli	1713	log plain
-rw-r--r--	polynomial.ml	33679	log plain
-rw-r--r--	polynomial.mli	11348	log plain
-rw-r--r--	simplex.ml	24433	log plain
-rw-r--r--	simplex.mli	1237	log plain
-rw-r--r--	sos.ml	45581	log plain
-rw-r--r--	sos.mli	1297	log plain
-rw-r--r--	sos_lib.ml	18412	log plain
-rw-r--r--	sos_lib.mli	2839	log plain
-rw-r--r--	sos_types.ml	2757	log plain
-rw-r--r--	sos_types.mli	1405	log plain
-rw-r--r--	vect.ml	9527	log plain
-rw-r--r--	vect.mli	6504	log plain
-rw-r--r--	zify.ml	47160	log plain
-rw-r--r--	zify.mli	1249	log plain
-rw-r--r--	zify_plugin.mlpack	12	log plain