Complex analysis in Lean
I present a formalization of the Riemann Mapping Theorem in the Lean 4 proof assistant, and a few related topics.
I present a formalization of the Riemann Mapping Theorem in the Lean 4 proof assistant, and a few related topics.
De Marie Kerjean