Adapt to https://github.com/rocq-prover/rocq/pull/21851#200
Open
proux01 wants to merge 1 commit intomit-plv:masterfrom
Open
Adapt to https://github.com/rocq-prover/rocq/pull/21851#200proux01 wants to merge 1 commit intomit-plv:masterfrom
proux01 wants to merge 1 commit intomit-plv:masterfrom
Commits
Commits on Apr 2, 2026
- authored andcommitted
