Skip to content

refactor: rename `TheoremPattern` to `EMatchTheorem`

d2df7e1
Select commit
Loading
Failed to load commit list.
Merged

feat: ematch theorem activation for grind #6475

refactor: rename `TheoremPattern` to `EMatchTheorem`
d2df7e1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs