girvingrender

Verified renders of the Mandelbrot set
Sort by
  1. Registry dependency.
    Found on Reservoir.

    ray62df108

    Formalizing results about the Mandelbrot set in Lean
  2. Registry dependency.
    Found on Reservoir.

    interval2eb9470

    Conservative floating point interval arithmetic in Lean
  3. Registry dependency.
    Found on Reservoir.

    mathlib77ee539

    The math library of Lean 4