coq - The formal proof system

Mode	Name	Size
-rw-r--r--	.bintray.json	345	log plain
-rw-r--r--	.gitattributes	2282	log plain
d---------	.github	135	log plain
-rw-r--r--	.gitignore	3130	log plain
-rw-r--r--	.gitlab-ci.yml	10076	log plain
-rw-r--r--	.mailmap	11831	log plain
-rw-r--r--	.merlin.in	559	log plain
-rw-r--r--	.ocamlinit	12	log plain
-rw-r--r--	.travis.yml	4169	log plain
-rw-r--r--	CHANGES.md	192698	log plain
-rw-r--r--	CODE_OF_CONDUCT.md	6586	log plain
-rw-r--r--	CONTRIBUTING.md	9870	log plain
-rw-r--r--	CREDITS	8023	log plain
-rw-r--r--	INSTALL	12475	log plain
-rw-r--r--	LICENSE	24381	log plain
-rw-r--r--	META.coq.in	9693	log plain
-rw-r--r--	Makefile	12555	log plain
-rw-r--r--	Makefile.build	30424	log plain
-rw-r--r--	Makefile.checker	4178	log plain
-rw-r--r--	Makefile.ci	1746	log plain
-rw-r--r--	Makefile.common	6006	log plain
-rw-r--r--	Makefile.dev	5799	log plain
-rw-r--r--	Makefile.doc	7259	log plain
-rw-r--r--	Makefile.dune	1377	log plain
-rw-r--r--	Makefile.ide	10369	log plain
-rw-r--r--	Makefile.install	5691	log plain
-rw-r--r--	Makefile.vofiles	1536	log plain
-rw-r--r--	README.md	3137	log plain
-rw-r--r--	appveyor.yml	297	log plain
d---------	checker	1973	log plain
d---------	clib	2605	log plain
d---------	config	74	log plain
-rwxr-xr-x	configure	944	log plain
-rw-r--r--	configure.ml	49186	log plain
-rw-r--r--	coq.opam	652	log plain
-rw-r--r--	coqide-server.opam	441	log plain
-rw-r--r--	coqide.opam	594	log plain
d---------	coqpp	198	log plain
-rw-r--r--	default.nix	3277	log plain
d---------	dev	1248	log plain
d---------	doc	240	log plain
-rw-r--r--	dune	675	log plain
-rw-r--r--	dune-project	28	log plain
d---------	engine	1504	log plain
d---------	grammar	234	log plain
d---------	ide	3413	log plain
-rwxr-xr-x	install.sh	248	log plain
d---------	interp	1638	log plain
d---------	kernel	3918	log plain
d---------	lib	1972	log plain
d---------	library	1379	log plain
d---------	man	492	log plain
d---------	parsing	612	log plain
d---------	plugins	609	log plain
d---------	pretyping	2970	log plain
d---------	printing	627	log plain
d---------	proofs	1364	log plain
-rw-r--r--	shell.nix	142	log plain
d---------	stm	976	log plain
d---------	tactics	1745	log plain
d---------	test-suite	985	log plain
d---------	theories	833	log plain
d---------	tools	966	log plain
d---------	topbin	267	log plain
d---------	toplevel	653	log plain
d---------	vernac	2684	log plain