Skip to content

Fix repeated Coqargs parsing with ~init - #22334

Open
finalchild wants to merge 1 commit into
rocq-prover:masterfrom
finalchild:agent/coqargs-compositional-parsing
Open

Fix repeated Coqargs parsing with ~init#22334
finalchild wants to merge 1 commit into
rocq-prover:masterfrom
finalchild:agent/coqargs-compositional-parsing

Commits

Commits on Aug 8, 2026