Riccardo Brasca
Riccardo Brasca
Home
Publications
Talks
Teaching
Forthcoming events
Experience
Contact
CV
GPG key
Light
Dark
Automatic
Fermat's Last Theorem for regular primes in Lean
Code
Slides
Video
Date
May 2022
Event
Conference
Lean in Lyon
Location
Institut Camille Jordan - Lyon
Cite
×