Skip to content

Adapt to https://github.com/rocq-prover/rocq/pull/21849#77

Merged
proux01 merged 1 commit intomasterfrom
rocq21849
Apr 1, 2026
Merged

Adapt to https://github.com/rocq-prover/rocq/pull/21849#77
proux01 merged 1 commit intomasterfrom
rocq21849

Commits

Commits on Apr 1, 2026