En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

AUDIOVISUAL MATHEMATICS LIBRARY

AUDIOVISUAL MATHEMATICS LIBRARY

Documents Beffara, Vincent 1 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Complex analysis in Lean - Beffara, Vincent (Auteur de la Conférence) | CIRM H

Multi angle

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

30-04 ; 30C35 ; 30H05

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun