ci « dev - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	README-developers.md	7740	log plain
-rw-r--r--	README-users.md	4566	log plain
-rw-r--r--	README.md	949	log plain
-rwxr-xr-x	azure-build.sh	88	log plain
-rwxr-xr-x	azure-opam.sh	407	log plain
-rwxr-xr-x	azure-test.sh	176	log plain
-rwxr-xr-x	ci-aac_tactics.sh	161	log plain
-rwxr-xr-x	ci-argosy.sh	190	log plain
-rwxr-xr-x	ci-basic-overlay.sh	14420	log plain
-rwxr-xr-x	ci-bedrock2.sh	236	log plain
-rwxr-xr-x	ci-bignums.sh	152	log plain
-rwxr-xr-x	ci-color.sh	133	log plain
-rw-r--r--	ci-common.sh	3514	log plain
-rwxr-xr-x	ci-compcert.sh	211	log plain
-rwxr-xr-x	ci-coq_dpdgraph.sh	193	log plain
-rwxr-xr-x	ci-coqhammer.sh	141	log plain
-rwxr-xr-x	ci-coquelicot.sh	210	log plain
-rwxr-xr-x	ci-corn.sh	147	log plain
-rwxr-xr-x	ci-cross-crypto.sh	202	log plain
-rwxr-xr-x	ci-elpi.sh	147	log plain
-rwxr-xr-x	ci-equations.sh	239	log plain
-rwxr-xr-x	ci-ext-lib.sh	152	log plain
-rwxr-xr-x	ci-fcsl-pcm.sh	158	log plain
-rwxr-xr-x	ci-fiat-crypto-legacy.sh	571	log plain
-rwxr-xr-x	ci-fiat-crypto.sh	550	log plain
-rwxr-xr-x	ci-fiat_parsers.sh	202	log plain
-rwxr-xr-x	ci-flocq.sh	181	log plain
-rwxr-xr-x	ci-geocoq.sh	169	log plain
-rwxr-xr-x	ci-hott.sh	196	log plain
-rwxr-xr-x	ci-iris-lambda-rust.sh	834	log plain
-rwxr-xr-x	ci-math-classes.sh	181	log plain
-rwxr-xr-x	ci-math-comp.sh	349	log plain
-rwxr-xr-x	ci-mtac2.sh	290	log plain
-rwxr-xr-x	ci-paramcoq.sh	188	log plain
-rwxr-xr-x	ci-perennial.sh	279	log plain
-rwxr-xr-x	ci-quickchick.sh	177	log plain
-rwxr-xr-x	ci-relation_algebra.sh	171	log plain
-rwxr-xr-x	ci-sf.sh	361	log plain
-rwxr-xr-x	ci-simple-io.sh	162	log plain
-rwxr-xr-x	ci-stdlib2.sh	171	log plain
-rwxr-xr-x	ci-tlc.sh	145	log plain
-rwxr-xr-x	ci-unimath.sh	150	log plain
-rwxr-xr-x	ci-verdi-raft.sh	552	log plain
-rwxr-xr-x	ci-vst.sh	151	log plain
-rwxr-xr-x	ci-wrapper.sh	580	log plain
d---------	docker	74	log plain
-rwxr-xr-x	gitlab.bat	3820	log plain
d---------	nix	1063	log plain
d---------	user-overlays	1712	log plain