girving / ray

Formalizing results about the Mandelbrot set in Lean
20Updated 2 weeks ago

Related projects

Alternatives and complementary repositories for ray