Comment on Herbie: Automatically improve imprecise floating point formulasComments−urschrei5moI resurrected the Rust Herbie lint (now using dylint) a while ago: https://github.com/urschrei/herbie-lint
Comments
I resurrected the Rust Herbie lint (now using dylint) a while ago: https://github.com/urschrei/herbie-lint