girvingrender

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

    ray54f8824

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

    interval3a9cfc7

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

    mathlibv4.26.0-rc2

    The math library of Lean 4