Skip to content

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

Merged
proux01 merged 1 commit intomasterfrom
rocq-master
Mar 5, 2026
Merged

Adapt to https://github.com/rocq-prover/rocq/pull/21611#51
proux01 merged 1 commit intomasterfrom
rocq-master

Commits

Commits on Mar 5, 2026