coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	.dir-locals.el	1554	log plain
-rw-r--r--	.gitattributes	125	log plain
-rw-r--r--	.gitignore	2989	log plain
-rw-r--r--	.mailmap	9313	log plain
-rw-r--r--	.merlin	486	log plain
-rw-r--r--	.travis.yml	4206	log plain
-rw-r--r--	CHANGES	161522	log plain
-rw-r--r--	COMPATIBILITY	8159	log plain
-rw-r--r--	COPYRIGHT	744	log plain
-rw-r--r--	CREDITS	6738	log plain
-rw-r--r--	INSTALL	10252	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	5013	log plain
-rw-r--r--	Makefile	10791	log plain
-rw-r--r--	Makefile.build	22240	log plain
-rw-r--r--	Makefile.checker	2637	log plain
-rw-r--r--	Makefile.ci	428	log plain
-rw-r--r--	Makefile.common	6401	log plain
-rw-r--r--	Makefile.dev	6641	log plain
-rw-r--r--	Makefile.doc	18368	log plain
-rw-r--r--	Makefile.ide	9301	log plain
-rw-r--r--	Makefile.install	5308	log plain
-rw-r--r--	README.ci	2924	log plain
-rw-r--r--	README.doc	645	log plain
-rw-r--r--	README.md	2112	log plain
d---------	checker	1676	log plain
d---------	config	42	log plain
-rwxr-xr-x	configure	940	log plain
-rw-r--r--	configure.ml	42638	log plain
d---------	dev	795	log plain
d---------	doc	374	log plain
d---------	engine	1065	log plain
d---------	grammar	240	log plain
d---------	ide	3119	log plain
-rwxr-xr-x	install.sh	233	log plain
d---------	interp	1405	log plain
d---------	intf	491	log plain
d---------	kernel	3688	log plain
d---------	lib	4210	log plain
d---------	library	1632	log plain
d---------	man	567	log plain
d---------	parsing	651	log plain
d---------	plugins	646	log plain
d---------	pretyping	2605	log plain
d---------	printing	670	log plain
d---------	proofs	1126	log plain
d---------	stm	1302	log plain
d---------	tactics	1630	log plain
d---------	test-suite	813	log plain
d---------	theories	875	log plain
d---------	tools	1144	log plain
d---------	toplevel	419	log plain
d---------	vernac	1758	log plain