coq - The formal proof system

Mode	Name	Size
-rw-r--r--	.gitattributes	2773	log plain
d---------	.github	173	log plain
-rw-r--r--	.gitignore	3152	log plain
-rw-r--r--	.gitlab-ci.yml	20806	log plain
-rw-r--r--	.mailmap	15571	log plain
-rw-r--r--	.merlin.in	581	log plain
-rw-r--r--	.ocamlformat	329	log plain
-rw-r--r--	.ocamlinit	12	log plain
-rw-r--r--	CODE_OF_CONDUCT.md	6728	log plain
-rw-r--r--	CONTRIBUTING.md	63439	log plain
-rw-r--r--	CREDITS	8060	log plain
-rw-r--r--	INSTALL.md	3595	log plain
-rw-r--r--	LICENSE	24381	log plain
-rw-r--r--	META.coq.in	11477	log plain
-rw-r--r--	Makefile	797	log plain
-rw-r--r--	Makefile.build	32987	log plain
-rw-r--r--	Makefile.checker	3175	log plain
-rw-r--r--	Makefile.ci	2028	log plain
-rw-r--r--	Makefile.common	6610	log plain
-rw-r--r--	Makefile.dev	5726	log plain
-rw-r--r--	Makefile.doc	9704	log plain
-rw-r--r--	Makefile.dune	4553	log plain
-rw-r--r--	Makefile.ide	10722	log plain
-rw-r--r--	Makefile.install	6146	log plain
-rw-r--r--	Makefile.make	13426	log plain
-rw-r--r--	Makefile.vofiles	2330	log plain
-rw-r--r--	README.md	5895	log plain
-rw-r--r--	azure-pipelines.yml	3831	log plain
d---------	checker	1153	log plain
d---------	clib	2449	log plain
d---------	config	114	log plain
-rwxr-xr-x	configure	944	log plain
-rw-r--r--	configure.ml	44387	log plain
-rw-r--r--	coq-doc.opam	1060	log plain
-rw-r--r--	coq.opam	1117	log plain
-rw-r--r--	coq.opam.docker	1195	log plain
-rw-r--r--	coqide-server.opam	963	log plain
-rw-r--r--	coqide.opam	992	log plain
d---------	coqpp	285	log plain
-rw-r--r--	default.nix	3932	log plain
d---------	dev	1649	log plain
d---------	doc	350	log plain
-rw-r--r--	dune	1078	log plain
-rw-r--r--	dune-project	117	log plain
d---------	engine	1504	log plain
d---------	gramlib	410	log plain
d---------	ide	3747	log plain
-rwxr-xr-x	install.sh	248	log plain
d---------	interp	1597	log plain
d---------	kernel	4433	log plain
d---------	lib	2136	log plain
d---------	library	876	log plain
d---------	man	441	log plain
d---------	parsing	611	log plain
d---------	plugins	579	log plain
d---------	pretyping	2950	log plain
d---------	printing	550	log plain
d---------	proofs	1084	log plain
-rw-r--r--	shell.nix	142	log plain
d---------	stm	976	log plain
d---------	tactics	2189	log plain
d---------	test-suite	1283	log plain
d---------	theories	1309	log plain
d---------	tools	892	log plain
d---------	topbin	306	log plain
d---------	toplevel	882	log plain
d---------	user-contrib / Ltac2	32	log plain
d---------	vernac	4012	log plain