Lean for the curious mathematician
Lean pour mathématiciens
Cette conférence s’inscrit dans le cadre des “semaines CIRM-SMF” .
Organisateurs :
Riccardo Brasca (Université Paris Cité), Antoine Chambert-Loir (Université Paris-Diderot), Maria Inès De Frutos Fernandez (Imperial College of London), Filippo A. E. Nuccio Mortarino Majno Di Capriglio (Institut Camille Jordan - Saint-Étienne)
Programme et informations
Du 25 au 29.03.2024
