test-suite - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	.csdp.cache.test-suite	329899	log plain
-rw-r--r--	Makefile	27823	log plain
-rw-r--r--	README.md	3646	log plain
-rw-r--r--	_CoqProject	26	log plain
d---------	arithmetic	39	log plain
d---------	bugs	257	log plain
d---------	complexity	688	log plain
d---------	coq-makefile	1043	log plain
d---------	coqchk	590	log plain
d---------	coqdoc	862	log plain
d---------	coqwc	388	log plain
-rw-r--r--	dune	1380	log plain
d---------	failure	2744	log plain
d---------	ide	1244	log plain
d---------	ideal-features	309	log plain
d---------	interactive	277	log plain
d---------	ltac2	595	log plain
d---------	micromega	719	log plain
d---------	misc	1240	log plain
d---------	modules	1124	log plain
-rw-r--r--	ocaml_pwd.ml	238	log plain
d---------	output-coqchk	78	log plain
d---------	output-coqtop	350	log plain
d---------	output-modulo-time	221	log plain
d---------	output	11090	log plain
d---------	prerequisite	337	log plain
d---------	primitive	65	log plain
-rwxr-xr-x	report.sh	1137	log plain
d---------	ssr	2834	log plain
d---------	stm	218	log plain
d---------	success	9861	log plain
d---------	tools / update-compat	40	log plain
d---------	typeclasses	243	log plain
d---------	unit-tests	164	log plain
d---------	vio	236	log plain
d---------	vos	127	log plain