coq - The formal proof system

Mode	Name	Size
-rw-r--r--	.bintray.json	345	log plain
-rw-r--r--	.gitattributes	2321	log plain
d---------	.github	135	log plain
-rw-r--r--	.gitignore	2998	log plain
-rw-r--r--	.gitlab-ci.yml	13374	log plain
-rw-r--r--	.mailmap	12701	log plain
-rw-r--r--	.merlin.in	581	log plain
-rw-r--r--	.ocamlinit	12	log plain
-rw-r--r--	.travis.yml	3912	log plain
-rw-r--r--	CHANGES.md	197484	log plain
-rw-r--r--	CODE_OF_CONDUCT.md	6711	log plain
-rw-r--r--	CONTRIBUTING.md	9870	log plain
-rw-r--r--	CREDITS	8263	log plain
-rw-r--r--	INSTALL	12122	log plain
-rw-r--r--	LICENSE	24381	log plain
-rw-r--r--	META.coq.in	9470	log plain
-rw-r--r--	Makefile	12572	log plain
-rw-r--r--	Makefile.build	30282	log plain
-rw-r--r--	Makefile.checker	3163	log plain
-rw-r--r--	Makefile.ci	1783	log plain
-rw-r--r--	Makefile.common	6003	log plain
-rw-r--r--	Makefile.dev	5707	log plain
-rw-r--r--	Makefile.doc	7264	log plain
-rw-r--r--	Makefile.dune	3707	log plain
-rw-r--r--	Makefile.ide	10315	log plain
-rw-r--r--	Makefile.install	5787	log plain
-rw-r--r--	Makefile.vofiles	1649	log plain
-rw-r--r--	README.md	3137	log plain
-rw-r--r--	appveyor.yml	364	log plain
-rw-r--r--	azure-pipelines.yml	1300	log plain
d---------	checker	1105	log plain
d---------	clib	2605	log plain
d---------	config	114	log plain
-rwxr-xr-x	configure	944	log plain
-rw-r--r--	configure.ml	44511	log plain
-rw-r--r--	coq-refman.opam	1032	log plain
-rw-r--r--	coq.opam	1202	log plain
-rw-r--r--	coqide-server.opam	934	log plain
-rw-r--r--	coqide.opam	942	log plain
d---------	coqpp	198	log plain
-rw-r--r--	default.nix	3967	log plain
d---------	dev	1267	log plain
d---------	doc	272	log plain
-rw-r--r--	dune	1255	log plain
-rw-r--r--	dune-project	27	log plain
d---------	engine	1504	log plain
d---------	gramlib	410	log plain
d---------	ide	3599	log plain
-rwxr-xr-x	install.sh	248	log plain
d---------	interp	1522	log plain
d---------	kernel	4013	log plain
d---------	lib	2059	log plain
d---------	library	1379	log plain
d---------	man	441	log plain
d---------	parsing	611	log plain
d---------	plugins	577	log plain
d---------	pretyping	2970	log plain
d---------	printing	627	log plain
d---------	proofs	1246	log plain
-rw-r--r--	shell.nix	142	log plain
d---------	stm	976	log plain
d---------	tactics	2090	log plain
d---------	test-suite	1017	log plain
d---------	theories	833	log plain
d---------	tools	966	log plain
d---------	topbin	267	log plain
d---------	toplevel	732	log plain
d---------	vernac	2767	log plain