Complex analysis in Lean | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Complex analysis in Lean

By Vincent Beffara

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.

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)

Logic in Computer Science

MSC codes

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

Copyright Carmin.tv 2026

Give feedback