Complex analysis in Lean
Appears in 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.
Mathematics
and Interactions
Information about the video
- Date of recording 26/03/2024
- Date of publication 22/04/2024
- Institution CIRM
- Licence CC BY NC ND
- Language English
- Audience Researchers, Graduate Students
- Director(s) Luca Recanzone
- Format MP4
Citation data
- DOI 10.24350/CIRM.V.20153203
- Cite this video Beffara, Vincent (26/03/2024). Complex analysis in Lean. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.20153203
- URL https://dx.doi.org/10.24350/CIRM.V.20153203
Domain(s)
MSC codes
Last related questions on MathOverflow
You have to connect your Carmin.tv account with mathoverflow to add questionAsk a question on MathOverflow
Register
- Bookmark videos
- Add videos to see later &
keep your browsing history - Comment with the scientific
community - Get notification updates
for your favorite subjects
