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.
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.