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