Skip to content

Adapt to https://github.com/rocq-prover/rocq/pull/21611#120

Merged
pi8027 merged 1 commit intomasterfrom
rocq21611
Feb 27, 2026
Merged

Adapt to https://github.com/rocq-prover/rocq/pull/21611#120
pi8027 merged 1 commit intomasterfrom
rocq21611

Commits

Commits on Feb 27, 2026