user-overlays « ci « dev - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	08743-ejgallego-zarith.sh	168	log plain
-rw-r--r--	10390-SkySkimmer-uip.sh	877	log plain
-rw-r--r--	11566-ejgallego-exninfo+coercion.sh	177	log plain
-rw-r--r--	11604-persistent-arrays.sh	610	log plain
-rw-r--r--	11836-ejgallego-obligations+functional.sh	613	log plain
-rw-r--r--	11922-ppedrot-rm-local-reductionops.sh	301	log plain
-rw-r--r--	11948-proux01-hexadecimal.sh	352	log plain
-rw-r--r--	12267-gares-elpi-1.11.sh	160	log plain
-rw-r--r--	12372-ejgallego-proof+info.sh	728	log plain
-rw-r--r--	12505-ppedrot-factor-hint-flags.sh	192	log plain
-rw-r--r--	12523-term-notation-custom.sh	181	log plain
-rw-r--r--	12565-ppedrot-fix-tc-search-opacity.sh	197	log plain
-rw-r--r--	12599-ppedrot-rm-deprecated-refiner.sh	201	log plain
-rw-r--r--	12650-SkySkimmer-rebuild-record.sh	175	log plain
-rw-r--r--	12709-ppedrot-hint-pattern-out.sh	187	log plain
-rw-r--r--	12720-ppedrot-factor-class-hint-clenv.sh	201	log plain
-rw-r--r--	12756-jashug-dont-refresh-argument-names.sh	330	log plain
-rw-r--r--	12801-VincentSe-CyclicSet.sh	260	log plain
-rw-r--r--	12875-herbelin-master+about-print-all-arguments-names.sh	236	log plain
-rw-r--r--	12892-SkySkimmer-update-s-univs.sh	280	log plain
-rw-r--r--	12968-maximedenes-delay-frozen-evarconv.sh	205	log plain
-rw-r--r--	12977-ppedrot-static-hint-poly.sh	292	log plain
-rw-r--r--	13028-herbelin-master+fix-quotations-printing.sh	243	log plain
-rw-r--r--	8808-herbelin-master+support-binder+term-in-abbrev.sh	236	log plain
-rw-r--r--	8855-herbelin-master+more-search-options.sh	339	log plain
-rw-r--r--	README.md	1846	log plain