coq - El asistente de pruebas Coq

Mode	Name	Size
-rw-r--r--	.gitattributes	2773	log plain
d---------	.github	205	log plain
-rw-r--r--	.gitignore	2691	log plain
-rw-r--r--	.gitlab-ci.yml	24294	log plain
-rw-r--r--	.mailmap	22387	log plain
-rw-r--r--	.ocp-indent	17	log plain
-rw-r--r--	CODE_OF_CONDUCT.md	7950	log plain
-rw-r--r--	CONTRIBUTING.md	70277	log plain
-rw-r--r--	CREDITS	8053	log plain
-rw-r--r--	INSTALL.md	4538	log plain
-rw-r--r--	LICENSE	24381	log plain
-rw-r--r--	Makefile	9993	log plain
-rw-r--r--	Makefile.ci	4726	log plain
-rw-r--r--	README.md	4784	log plain
d---------	boot	316	log plain
d---------	checker	1114	log plain
d---------	clib	2619	log plain
d---------	config	208	log plain
-rwxr-xr-x	configure	400	log plain
-rw-r--r--	coq-core.opam	1973	log plain
-rw-r--r--	coq-core.opam.template	434	log plain
-rw-r--r--	coq-doc.opam	1038	log plain
-rw-r--r--	coq-stdlib.opam	1663	log plain
-rw-r--r--	coq-stdlib.opam.template	397	log plain
-rw-r--r--	coq.opam	1682	log plain
-rw-r--r--	coq.opam.template	446	log plain
-rw-r--r--	coqide-server.opam	1206	log plain
-rw-r--r--	coqide.opam	1205	log plain
d---------	coqpp	368	log plain
-rw-r--r--	default.nix	4800	log plain
d---------	dev	1300	log plain
d---------	doc	394	log plain
-rw-r--r--	dune	1866	log plain
-rw-r--r--	dune-project	5298	log plain
d---------	engine	1557	log plain
-rw-r--r--	flake.lock	1438	log plain
-rw-r--r--	flake.nix	339	log plain
d---------	gramlib	412	log plain
d---------	ide	33	log plain
-rw-r--r--	index.mld	200	log plain
d---------	interp	1534	log plain
d---------	kernel	5280	log plain
d---------	lib	2308	log plain
d---------	library	812	log plain
d---------	man	440	log plain
d---------	parsing	608	log plain
d---------	perf	137	log plain
d---------	plugins	536	log plain
d---------	pretyping	3198	log plain
d---------	printing	508	log plain
d---------	proofs	696	log plain
-rw-r--r--	shell.nix	142	log plain
d---------	stm	818	log plain
d---------	sysinit	271	log plain
d---------	tactics	2351	log plain
d---------	test-suite	1196	log plain
d---------	theories	1390	log plain
d---------	tools	867	log plain
d---------	topbin	554	log plain
d---------	toplevel	1115	log plain
d---------	user-contrib	32	log plain
d---------	vernac	4691	log plain