Skip to content

Adapt to https://github.com/rocq-prover/rocq/pull/22192 - #84

Open
proux01 wants to merge 1 commit into
math-comp:masterfrom
proux01:rocq22192
Open

Adapt to https://github.com/rocq-prover/rocq/pull/22192#84
proux01 wants to merge 1 commit into
math-comp:masterfrom
proux01:rocq22192

Commits

Commits on Jun 30, 2026