coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	.bintray.json	344	log plain
d---------	.circleci	38	log plain
-rw-r--r--	.dir-locals.el	1554	log plain
-rw-r--r--	.gitattributes	1583	log plain
d---------	.github	45	log plain
-rw-r--r--	.gitignore	3493	log plain
-rw-r--r--	.gitlab-ci.yml	8361	log plain
-rw-r--r--	.mailmap	10407	log plain
-rw-r--r--	.merlin	541	log plain
-rw-r--r--	.travis.yml	6903	log plain
d---------	API	144	log plain
-rw-r--r--	CHANGES	174055	log plain
-rw-r--r--	COMPATIBILITY	8324	log plain
-rw-r--r--	CONTRIBUTING.md	7822	log plain
-rw-r--r--	COPYRIGHT	744	log plain
-rw-r--r--	CREDITS	7649	log plain
-rw-r--r--	INSTALL	11841	log plain
-rw-r--r--	INSTALL.doc	1947	log plain
-rw-r--r--	INSTALL.ide	3717	log plain
-rw-r--r--	LICENSE	24381	log plain
-rw-r--r--	META.coq	5211	log plain
-rw-r--r--	Makefile	12545	log plain
-rw-r--r--	Makefile.build	27700	log plain
-rw-r--r--	Makefile.checker	2981	log plain
-rw-r--r--	Makefile.ci	732	log plain
-rw-r--r--	Makefile.common	6923	log plain
-rw-r--r--	Makefile.dev	6641	log plain
-rw-r--r--	Makefile.doc	17432	log plain
-rw-r--r--	Makefile.ide	9389	log plain
-rw-r--r--	Makefile.install	5813	log plain
-rw-r--r--	README.md	2593	log plain
-rw-r--r--	appveyor.yml	585	log plain
d---------	checker	1713	log plain
d---------	config	42	log plain
-rwxr-xr-x	configure	944	log plain
-rw-r--r--	configure.ml	46366	log plain
-rw-r--r--	default.nix	1845	log plain
d---------	dev	980	log plain
d---------	doc	276	log plain
d---------	engine	1065	log plain
d---------	grammar	202	log plain
d---------	ide	3119	log plain
-rwxr-xr-x	install.sh	238	log plain
d---------	interp	1604	log plain
d---------	intf	478	log plain
d---------	kernel	3688	log plain
d---------	lib	4354	log plain
d---------	library	1476	log plain
d---------	man	529	log plain
d---------	parsing	606	log plain
d---------	plugins	711	log plain
d---------	pretyping	2810	log plain
d---------	printing	589	log plain
d---------	proofs	1208	log plain
d---------	stm	1302	log plain
d---------	tactics	1713	log plain
d---------	test-suite	885	log plain
d---------	theories	875	log plain
d---------	tools	1351	log plain
d---------	toplevel	551	log plain
d---------	vernac	2219	log plain