girvingray

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

  1. girving/renderuses62df108

    Verified renders of the Mandelbrot set