Skip to content

adapt to rocq-prover/rocq#20707#69

Merged
proux01 merged 7 commits intomath-comp:masterfrom
gares:ssrpat-FO-ignore-imparg
Jun 27, 2025
Merged

adapt to rocq-prover/rocq#20707#69
proux01 merged 7 commits intomath-comp:masterfrom
gares:ssrpat-FO-ignore-imparg

Commits

Commits on Jun 27, 2025