girving / ray

Formalizing results about the Mandelbrot set in Lean
20Updated last month

Related projects

Alternatives and complementary repositories for ray