Skip to content

Port to new rewrite goals order

e8c90b3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Port to new rewrite goals order #121

Port to new rewrite goals order
e8c90b3
Select commit
Loading
Failed to load commit list.

Annotations

11 warnings
build (mathcomp/mathcomp:2.4.0-rocq-prover-9.1)
succeeded Mar 24, 2026 in 3m 44s