PRECiSA

Haskell ★ 57 updated 6mo ago

Program Round-off Error Certifier via Static Analysis

No plain-English explanation yet — one is being written right now. Check back in a minute.