Skip to content

Adapt to rocq-prover/rocq#21392.#227

Closed
ppedrot wants to merge 1 commit intorocq-prover:masterfrom
ppedrot:fix-2939
Closed

Adapt to rocq-prover/rocq#21392.#227
ppedrot wants to merge 1 commit intorocq-prover:masterfrom
ppedrot:fix-2939

Commits

Commits on Dec 4, 2025