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.
Mathématiques
et Interactions
Informations sur la vidéo
- Date de captation 26/03/2024
- Date de publication 22/04/2024
- Institut CIRM
- Licence CC BY NC ND
- Langue Anglais
- Audience Chercheurs, Doctorants
- Réalisateur(s) Luca Recanzone
- Format MP4
Données de citation
- DOI 10.24350/CIRM.V.20153203
- Citer cette vidéo 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
Domaine(s)
Codes MSC
Dernières questions liées sur MathOverflow
Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflowPoser une question sur MathOverflow
Inscrivez-vous
- Mettez des vidéos en favori
- Ajoutez des vidéos à regarder plus tard &
conservez votre historique de consultation - Commentez avec la communauté
scientifique - Recevez des notifications de mise à jour
de vos sujets favoris
