01:34:11
publiée le 22 avril 2024
Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
De Marie Kerjean
Complex analysis in Lean
Apparaît dans la collection : Lean for the curious mathematician / Lean pour mathématiciens
I present a formalization of the Riemann Mapping Theorem in the Lean 4 proof assistant, and a few related topics.
