girvingbottcher

Verified computation of the Mandelbrot set Böttcher series
Sort by
  1. Registry dependency.
    Found on Reservoir.

    seriesca60d8c

    Power series arithmetic in Lean
  2. Registry dependency.
    Found on Reservoir.

    ray54f8824

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

    mathlibv4.26.0-rc2

    The math library of Lean 4