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

Mode	Name	Size
-rw-r--r--	07819-mattam-ho-matching-occ-sel.sh	353	log plain
-rw-r--r--	08764-validsdp-master-parsing-decimal.sh	577	log plain
-rw-r--r--	08817-sprop.sh	1081	log plain
-rw-r--r--	08829-proj-syntax-check.sh	252	log plain
-rw-r--r--	08893-herbelin-master+moving-evars-of-term-on-econstr.sh	284	log plain
-rw-r--r--	08984-vbgl-rm-hardwired-hint-db.sh	360	log plain
-rw-r--r--	09129-ejgallego-proof+no_global_partial.sh	1048	log plain
-rw-r--r--	09165-ejgallego-recarg-cleanup.sh	276	log plain
-rw-r--r--	09173-ejgallego-proofview+proof_info.sh	291	log plain
-rw-r--r--	09389-SkySkimmer-set-implicits.sh	275	log plain
-rw-r--r--	09439-sep-variance.sh	455	log plain
-rw-r--r--	09476-ppedrot-context-constructor.sh	302	log plain
-rw-r--r--	09567-ejgallego-hooks_unify.sh	361	log plain
-rw-r--r--	09602-gares-more-delta-in-termination-checking.sh	224	log plain
-rw-r--r--	09678-printed-by-env.sh	475	log plain
-rw-r--r--	09733-gares-quotations.sh	160	log plain
-rw-r--r--	09815-token-type.sh	160	log plain
-rw-r--r--	09870-vbgl-recordops.sh	160	log plain
-rw-r--r--	09895-ejgallego-require+upper.sh	185	log plain
-rw-r--r--	09909-maximedenes-pretyping-rm-global.sh	697	log plain
-rw-r--r--	09973-gares-elpi-2.1.sh	175	log plain
-rw-r--r--	10052-ppedrot-cleanup-logic-convert-hyp.sh	226	log plain
-rw-r--r--	10069-ppedrot-whd-for-evar-conv-no-stack.sh	198	log plain
-rw-r--r--	10076-vbgl-canonical-disable-hint.sh	185	log plain
-rw-r--r--	10125-SkySkimmer-run_tactic_gen.sh	183	log plain
-rw-r--r--	10133-SkySkimmer-kelim.sh	172	log plain
-rw-r--r--	10135-maximedenes-detype-anonymous.sh	182	log plain
-rw-r--r--	10157-SkySkimmer-def-not-visible-generic-warning.sh	208	log plain
-rw-r--r--	10177-SkySkimmer-generalize.sh	181	log plain
-rw-r--r--	10185-SkySkimmer-instance-no-bang.sh	193	log plain
-rw-r--r--	10201-ppedrot-opaque-future-cleanup.sh	507	log plain
-rw-r--r--	README.md	1829	log plain