Skip to content

Merge branch 'main' into axiom-ref-correctness

a016246
Select commit
Loading
Failed to load commit list.
Merged

chore: add axiom for the correctness of refinement in rewrite patterns #1809

Merge branch 'main' into axiom-ref-correctness
a016246
Select commit
Loading
Failed to load commit list.