Tool for Rigorous Estimation of Round-Off Floating-Point Errors
Primary LanguageOCamlMIT LicenseMIT
No one’s watching this repository yet.