Package rocq-induction.0.1.0 - #3766

Package rocq-induction.0.1.0#3766

yannl35133 wants to merge 1 commit into

rocq-prover:masterrocq-prover/opam:masterfrom

yannl35133:opam-publish-rocq-induction.0.1.0yannl35133/opam-coq-archive:opam-publish-rocq-induction.0.1.0Copy head branch name to clipboard