girvingray-series

Power series arithmetic in Lean
Displaying 1-1 of 1 packages depending on girving/ray-series
Sort by

  1. girving/bottcherusesca60d8c

    Verified computation of the Mandelbrot set Böttcher series