Herbie 1.2 Beta

Herbie's third release significantly improves Herbie's creativity and accuracy, with a better system for inferring branches, a new binary search technique to make those branches more accurate, and bigger defaults for various search parameters to ensure Herbie always delivers the most accurate results.

Herbie 1.1

Herbie's second release makes Herbie easier to use with a new web-based interface, more helpful errors, and expanded support for trigonometric and hyperbolic functions, plus speedier and more precise core algorithms.

Herbie 1.1 Beta

Herbie's second release makes Herbie easier to use with a new web-based interface, more helpful errors, and expanded support for trigonometric and hyperbolic functions, plus speedier and more precise core algorithms.

Herbie 1.0

This is the first production-ready release of Herbie, featuring a new standard input format, faster operation, many stability improvements, and more. See the full release notes for more details.