Fermat's Last Theorem for regular primes in Lean


Date
May 2022
Event
Conference Lean in Lyon
Location
Institut Camille Jordan - Lyon