checker - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	analyze.ml	13228	log plain
-rw-r--r--	analyze.mli	1376	log plain
-rw-r--r--	check.ml	16575	log plain
-rw-r--r--	check.mli	1154	log plain
-rw-r--r--	check.mllib	114	log plain
-rw-r--r--	checkFlags.ml	1085	log plain
-rw-r--r--	checkFlags.mli	828	log plain
-rw-r--r--	checkInductive.ml	8954	log plain
-rw-r--r--	checkInductive.mli	981	log plain
-rw-r--r--	checkTypes.ml	1502	log plain
-rw-r--r--	checkTypes.mli	863	log plain
-rw-r--r--	check_stat.ml	3278	log plain
-rw-r--r--	check_stat.mli	794	log plain
-rw-r--r--	checker.ml	14383	log plain
-rw-r--r--	checker.mli	701	log plain
-rw-r--r--	coqchk.ml	26	log plain
-rw-r--r--	coqchk.mli	808	log plain
-rw-r--r--	dune	637	log plain
-rw-r--r--	include	4917	log plain
-rw-r--r--	mod_checking.ml	7406	log plain
-rw-r--r--	mod_checking.mli	879	log plain
-rw-r--r--	safe_checking.ml	1301	log plain
-rw-r--r--	safe_checking.mli	976	log plain
-rw-r--r--	validate.ml	7011	log plain
-rw-r--r--	validate.mli	753	log plain
-rw-r--r--	values.ml	12666	log plain
-rw-r--r--	values.mli	1613	log plain
-rw-r--r--	votour.ml	13020	log plain
-rw-r--r--	votour.mli	808	log plain