No results found

interval

Conservative floating point interval arithmetic in Lean
Displaying 1-1 of 1 packages depending on girving/interval
Sort by

  1. girving/rayusesa0e3dc4

    Formalizing results about the Mandelbrot set in Lean