uwplse/herbie repository overview

Herbie automatically improves the error of floating point expressions. Visit our website⁠ for tutorials, documentation, and an online demo. Herbie has semi-regular releases once a year, maintains backwards compatibility, and uses standardized formats.

You can find instructions on downloading and installing with Docker on our website⁠