girvingrender

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

    ray0ca7b1e

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

    interval4a404ea

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

    mathlib725c803

    The math library of Lean 4