Herbie: Automatically improve imprecise floating point formulas

[summarity]

Article URL: https://herbie.uwplse.org/doc/latest/tutorial.html

Comments URL: https://news.ycombinator.com/item?id=47585469

Points: 183

# Comments: 33