Skip to content

adapt to rocq-prover/rocq#20707#1641

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

adapt to rocq-prover/rocq#20707#1641
proux01 merged 1 commit intomath-comp:masterfrom
gares:ssrpat-FO-ignore-imparg

Commits

Commits on Jun 27, 2025