girving/interval

Conservative floating point interval arithmetic in Lean

2 best points · 0 comments · 1 Hacker News post · 29 GitHub stars · View on GitHub

Hacker News discussions

• Unlike `Float`, we don't worry about `nan` for our comparisons (2 points, 0 comments, by gku, 2025-01-30)