Reservoir
No results found
All Packages
interval
Conservative floating point interval arithmetic in Lean
Readme
Versions (1)
Dependencies (9)
Dependents (1)
Displaying
1-1
of
1
packages depending on
girving/interval
Sort by
Package Name
girving/ray
uses
a0e3dc4
Formalizing results about the Mandelbrot set in Lean
1
20