Skip to content

Revert "fix: ground theorems as `grind` parameters (#11579)"

ac376c8
Select commit
Loading
Failed to load commit list.
Merged

chore: revert fix: ground theorems as grind parameters" #11603

Revert "fix: ground theorems as `grind` parameters (#11579)"
ac376c8
Select commit
Loading
Failed to load commit list.