mastodon — José A. Alonso — 17 Oct 2026
How to formalize all of mathematics. ~ Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver…
#proof-assistants #ai4math #formal-methods
How to formalize all of mathematics. ~ Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver Nash, Adam Topaz. https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/ #LeanProver #ITP #AI4Math