Public Repository

Last pushed: 2 years ago
Short Description
The Herbie tool for automatically improving the accuracy of floating-point expressions
Full Description

Full description is empty for this repo.

Docker Pull Command
Owner
pavpanchekha