Geeks
vinc17fr
/
herbie
Synthesis for floating-point expressions
Primary Language
Racket
MIT License
MIT
herbie GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Watchers
jhcloos
vinc17fr
Inria