girvingray

Formalizing results about the Mandelbrot set in Lean
Displaying 1-2 of 2 packages depending on girving/ray
Sort by

  1. girving/bottcheruses54f8824

    Verified computation of the Mandelbrot set Böttcher series

  2. girving/renderuses54f8824

    Verified renders of the Mandelbrot set