search

girving / interval

Conservative floating point interval arithmetic in Lean
Apache License 2.0
7 stars 1 forks source link

Doc adjustment for structure Fixed #4

Closed adomasbaliuka closed 3 months ago

adomasbaliuka commented 3 months ago

There seemed to be a mistake in the docstring mixing up nan and Int64.min

Fixes #3

girving commented 3 months ago

Thank you!