girvinginterval

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

  1. girving/bottcheruses239617f

    Verified computation of the Mandelbrot set Böttcher series

  2. girving/ray-seriesuses239617f

    Power series arithmetic in Lean

  3. girving/renderuses3a9cfc7

    Verified renders of the Mandelbrot set