Commit 2025-07-01 15:20 d385c4be

View on Github →

feat: use grind in Data/Nat/Sqrt (#26575) Not super-satisfying. There is still a lot of non-linear arithmetic in this file that we could eventually automate as well.

Estimated changes