coq - The formal proof system

Mode	Name	Size
-rw-r--r--	.gitattributes	2773	log plain
d---------	.github	209	log plain
-rw-r--r--	.gitignore	3264	log plain
-rw-r--r--	.gitlab-ci.yml	22035	log plain
-rw-r--r--	.mailmap	15926	log plain
-rw-r--r--	.merlin.in	591	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	63510	log plain
-rw-r--r--	CREDITS	8053	log plain
-rw-r--r--	INSTALL.md	4250	log plain
-rw-r--r--	LICENSE	24381	log plain
-rw-r--r--	META.coq-core.in	11909	log plain
-rw-r--r--	Makefile	797	log plain
-rw-r--r--	Makefile.build	32913	log plain
-rw-r--r--	Makefile.checker	3175	log plain
-rw-r--r--	Makefile.ci	2540	log plain
-rw-r--r--	Makefile.common	6506	log plain
-rw-r--r--	Makefile.dev	5749	log plain
-rw-r--r--	Makefile.doc	9710	log plain
-rw-r--r--	Makefile.dune	4642	log plain
-rw-r--r--	Makefile.ide	11365	log plain
-rw-r--r--	Makefile.install	6231	log plain
-rw-r--r--	Makefile.make	13575	log plain
-rw-r--r--	Makefile.vofiles	2330	log plain
-rw-r--r--	README.md	5685	log plain
d---------	checker	1153	log plain
d---------	clib	2447	log plain
d---------	config	157	log plain
-rwxr-xr-x	configure	944	log plain
-rw-r--r--	configure.ml	45343	log plain
-rw-r--r--	coq-core.opam	1765	log plain
-rw-r--r--	coq-core.opam.template	56	log plain
-rw-r--r--	coq-doc.opam	1102	log plain
-rw-r--r--	coq-stdlib.opam	1465	log plain
-rw-r--r--	coq.opam	1277	log plain
-rw-r--r--	coq.opam.docker	1327	log plain
-rw-r--r--	coqide-server.opam	1262	log plain
-rw-r--r--	coqide.opam	1122	log plain
d---------	coqpp	285	log plain
-rw-r--r--	default.nix	4306	log plain
d---------	dev	1681	log plain
d---------	doc	350	log plain
-rw-r--r--	dune	1083	log plain
-rw-r--r--	dune-project	4822	log plain
d---------	engine	1504	log plain
d---------	gramlib	448	log plain
d---------	ide	71	log plain
-rwxr-xr-x	install.sh	248	log plain
d---------	interp	1597	log plain
d---------	kernel	4653	log plain
d---------	lib	2211	log plain
d---------	library	801	log plain
d---------	man	441	log plain
d---------	parsing	649	log plain
d---------	plugins	572	log plain
d---------	pretyping	2952	log plain
d---------	printing	471	log plain
d---------	proofs	928	log plain
-rw-r--r--	shell.nix	142	log plain
d---------	stm	1031	log plain
d---------	sysinit	385	log plain
d---------	tactics	2258	log plain
d---------	test-suite	1246	log plain
d---------	theories	1341	log plain
d---------	tools	892	log plain
d---------	topbin	306	log plain
d---------	toplevel	728	log plain
d---------	user-contrib / Ltac2	32	log plain
d---------	vernac	3941	log plain