Alex Best, Formalization and arithmetic geometry: Past, present, and future.

VaNTAGe Seminar, April 9, 2024
License: CC-BY-NC-SA
Links to some of the papers and projects mentioned in this talk:
Gowers-Green-Manners-Tao (2023): arxiv.org/abs/...
Lean repository for the PFR project: teorth.github....
Tao blog post on PFR: terrytao.wordp...
Mathlib: leanprover-com...
Best,Birkbeck,Brasca,Rodriguez Boidi (2023): arxiv.org/abs/...
Annals of Formal Mathematics: afm.episcience...