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