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	16520	log plain
-rw-r--r--	check.mli	1138	log plain
-rw-r--r--	check.mllib	114	log plain
-rw-r--r--	checkFlags.ml	1050	log plain
-rw-r--r--	checkFlags.mli	828	log plain
-rw-r--r--	checkInductive.ml	8702	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	3084	log plain
-rw-r--r--	check_stat.mli	765	log plain
-rw-r--r--	checker.ml	14894	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	5902	log plain
-rw-r--r--	mod_checking.mli	829	log plain
-rw-r--r--	safe_checking.ml	1272	log plain
-rw-r--r--	safe_checking.mli	919	log plain
-rw-r--r--	validate.ml	7011	log plain
-rw-r--r--	validate.mli	753	log plain
-rw-r--r--	values.ml	12394	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