Skip to content

Local rewrite rules#21920

Open
yannl35133 wants to merge 7 commits into
rocq-prover:masterfrom
Yann-Leray:rr-local-modules
Open

Local rewrite rules#21920
yannl35133 wants to merge 7 commits into
rocq-prover:masterfrom
Yann-Leray:rr-local-modules

Allow subtyping for rewrite rules

2abd8ed
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Linux (latest OCaml)
succeeded Jun 1, 2026 in 6m 55s