coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	.bintray.json	344	log plain
d---------	.circleci	38	log plain
-rw-r--r--	.gitattributes	2150	log plain
d---------	.github	135	log plain
-rw-r--r--	.gitignore	2985	log plain
-rw-r--r--	.gitlab-ci.yml	7612	log plain
-rw-r--r--	.mailmap	10407	log plain
-rw-r--r--	.merlin	559	log plain
-rw-r--r--	.travis.yml	9250	log plain
-rw-r--r--	CHANGES	182419	log plain
-rw-r--r--	CONTRIBUTING.md	9088	log plain
-rw-r--r--	CREDITS	8152	log plain
-rw-r--r--	INSTALL	12590	log plain
-rw-r--r--	INSTALL.doc	2382	log plain
-rw-r--r--	INSTALL.ide	3708	log plain
-rw-r--r--	LICENSE	24381	log plain
-rw-r--r--	META.coq	10392	log plain
-rw-r--r--	Makefile	11998	log plain
-rw-r--r--	Makefile.build	29889	log plain
-rw-r--r--	Makefile.checker	4168	log plain
-rw-r--r--	Makefile.ci	1636	log plain
-rw-r--r--	Makefile.common	6225	log plain
-rw-r--r--	Makefile.dev	6833	log plain
-rw-r--r--	Makefile.doc	9751	log plain
-rw-r--r--	Makefile.ide	10344	log plain
-rw-r--r--	Makefile.install	5932	log plain
-rw-r--r--	Makefile.vofiles	1536	log plain
-rw-r--r--	README.md	2818	log plain
-rw-r--r--	appveyor.yml	297	log plain
d---------	checker	1941	log plain
d---------	clib	2648	log plain
d---------	config	42	log plain
-rwxr-xr-x	configure	944	log plain
-rw-r--r--	configure.ml	49465	log plain
-rw-r--r--	default.nix	2328	log plain
d---------	dev	1234	log plain
d---------	doc	203	log plain
d---------	engine	1511	log plain
d---------	grammar	202	log plain
d---------	ide	3339	log plain
-rwxr-xr-x	install.sh	248	log plain
d---------	interp	1645	log plain
d---------	kernel	3805	log plain
d---------	lib	1864	log plain
d---------	library	1557	log plain
d---------	man	529	log plain
d---------	parsing	580	log plain
d---------	plugins	669	log plain
d---------	pretyping	2865	log plain
d---------	printing	510	log plain
d---------	proofs	1293	log plain
d---------	stm	986	log plain
d---------	tactics	1713	log plain
d---------	test-suite	956	log plain
d---------	theories	833	log plain
d---------	tools	1388	log plain
d---------	topbin	235	log plain
d---------	toplevel	621	log plain
d---------	vernac	2652	log plain