Skip to content

Share flags config by generating _CoqProject - #285

Closed
rlepigre-skylabs-ai wants to merge 1 commit into
rocq-prover:masterfrom
rlepigre-skylabs-ai:rodolphe/gen-_CoqProject
Closed

Share flags config by generating _CoqProject#285
rlepigre-skylabs-ai wants to merge 1 commit into
rocq-prover:masterfrom
rlepigre-skylabs-ai:rodolphe/gen-_CoqProject

Commits

Commits on Jul 9, 2026