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

Mode	Name	Size
-rw-r--r--	08726-herbelin-master+more-stable-meaning-to-Discharge-flag.sh	892	log plain
-rw-r--r--	09566-ejgallego-proof_global+move_termination_routine_out.sh	499	log plain
-rw-r--r--	09645-ejgallego-proof+sayonara_baby.sh	393	log plain
-rw-r--r--	09867-primitive-floats.sh	369	log plain
-rw-r--r--	10185-SkySkimmer-instance-no-bang.sh	193	log plain
-rw-r--r--	10231-herbelin-master+locating-warning-different-implicit-term-type.sh	353	log plain
-rw-r--r--	10316-ejgallego-proof+recthms.sh	560	log plain
-rw-r--r--	10319-SkySkimmer-vernac-when-sideff.sh	291	log plain
-rw-r--r--	10334-ppedrot-rm-kernel-sideeff-role.sh	203	log plain
-rw-r--r--	10337-ejgallego-vernac+qed_special_case_inject_proof.sh	352	log plain
-rw-r--r--	10362-ppedrot-delay-poly-opaque.sh	487	log plain
-rw-r--r--	10406-ppedrot-desync-entry-proof.sh	300	log plain
-rw-r--r--	10419-ejgallego-heads+test.sh	542	log plain
-rw-r--r--	10434-ejgallego-proof+hook_record.sh	386	log plain
-rw-r--r--	10441-ppedrot-static-poly-section.sh	191	log plain
-rw-r--r--	10476-maximedenes-rm-library-optim.sh	361	log plain
-rw-r--r--	10516-ejgallego-proof+dup_save.sh	174	log plain
-rw-r--r--	10642-SkySkimmer-feedback-added-axiom.sh	187	log plain
-rw-r--r--	10660-ejgallego-errors+private.sh	185	log plain
-rw-r--r--	10665-ejgallego-api+varkind.sh	268	log plain
-rw-r--r--	10674-ejgallego-proofs+declare_unif.sh	199	log plain
-rw-r--r--	10681-ejgallego-proof+private_entry.sh	199	log plain
-rw-r--r--	10727-ejgallego-library+to_vernac_step2.sh	192	log plain
-rw-r--r--	10811-SkySkimmer-sprop-default-on.sh	291	log plain
-rw-r--r--	11051-gares-elpi-1.8.sh	167	log plain
-rw-r--r--	11141-herbelin-master+labelled-pr_lconstr-and-co.sh	216	log plain
-rw-r--r--	11172-herbelin-master+coercion-notation-interleaved-printing.sh	216	log plain
-rw-r--r--	README.md	1846	log plain