girvingrender

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

    raydd587e5

    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