Skip to content

Adapt to https://github.com/rocq-prover/rocq/pull/21947#164

Merged
proux01 merged 1 commit intomasterfrom
rocq21947
Apr 28, 2026
Merged

Adapt to https://github.com/rocq-prover/rocq/pull/21947#164
proux01 merged 1 commit intomasterfrom
rocq21947

Commits

Commits on Apr 23, 2026