coq - El asistente de pruebas Coq

Mode	Name	Size
-rw-r--r--	.bintray.json	340	log plain
-rw-r--r--	.gitattributes	2011	log plain
d---------	.github	97	log plain
-rw-r--r--	.gitignore	2990	log plain
-rw-r--r--	.gitlab-ci.yml	8426	log plain
-rw-r--r--	.mailmap	10407	log plain
-rw-r--r--	.merlin	555	log plain
-rw-r--r--	.travis.yml	7410	log plain
-rw-r--r--	CHANGES	181790	log plain
-rw-r--r--	CONTRIBUTING.md	8770	log plain
-rw-r--r--	CREDITS	8064	log plain
-rw-r--r--	INSTALL	12483	log plain
-rw-r--r--	INSTALL.doc	2623	log plain
-rw-r--r--	INSTALL.ide	3708	log plain
-rw-r--r--	LICENSE	24381	log plain
-rw-r--r--	META.coq	10608	log plain
-rw-r--r--	Makefile	12585	log plain
-rw-r--r--	Makefile.build	28061	log plain
-rw-r--r--	Makefile.checker	3149	log plain
-rw-r--r--	Makefile.ci	1675	log plain
-rw-r--r--	Makefile.common	7147	log plain
-rw-r--r--	Makefile.dev	6808	log plain
-rw-r--r--	Makefile.doc	13231	log plain
-rw-r--r--	Makefile.ide	9583	log plain
-rw-r--r--	Makefile.install	6191	log plain
-rw-r--r--	README.md	2567	log plain
-rw-r--r--	appveyor.yml	297	log plain
d---------	checker	1941	log plain
d---------	clib	2575	log plain
d---------	config	42	log plain
-rwxr-xr-x	configure	944	log plain
-rw-r--r--	configure.ml	49756	log plain
-rw-r--r--	default.nix	3158	log plain
d---------	dev	1062	log plain
d---------	doc	309	log plain
d---------	engine	1065	log plain
d---------	grammar	202	log plain
d---------	ide	3646	log plain
-rwxr-xr-x	install.sh	248	log plain
d---------	interp	1604	log plain
d---------	intf	478	log plain
d---------	kernel	3882	log plain
d---------	lib	1864	log plain
d---------	library	1476	log plain
d---------	man	529	log plain
d---------	parsing	571	log plain
d---------	plugins	669	log plain
d---------	pretyping	2907	log plain
d---------	printing	589	log plain
d---------	proofs	1208	log plain
-rw-r--r--	shell.nix	251	log plain
d---------	stm	1302	log plain
d---------	tactics	1713	log plain
d---------	test-suite	952	log plain
d---------	theories	833	log plain
d---------	tools	1388	log plain
d---------	toplevel	587	log plain
d---------	vernac	2219	log plain