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--	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--	10358-gares-elpi13.sh	166	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--	10416-gares-elpi-14.sh	169	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--	README.md	1846	log plain