feat: add grind +simp mode
#18527
Annotations
2 errors and 1 notice
|
|
|
Wait for mathlib compatibility
The operation was canceled.
|
|
Wait for mathlib compatibility
PR is marked 'awaiting-mathlib' but neither 'breaks-mathlib' nor 'builds-mathlib' labels are present.
|
Loading