interval
Conservative floating point interval arithmetic in Lean
of 2 packages depending on girving/interval
1-2Sort by
Package Name
girving/ray-seriesuses
d7bdfbb
Power series arithmetic in Leangirving/renderuses
2eb9470
Verified renders of the Mandelbrot set