Displaying 1-1 of 1 packages depending on girving/interval
Sort by
  1. girving/ray
    uses
    b0a6ac2

    Formalizing results about the Mandelbrot set in Lean