by Matthew Ballard | Jan 14, 2026
Summer School on Formalization in Lean July 7-17, 2026 Applications Due March 9 Computational proof assistants now make it possible to develop global, digital mathematical libraries with theorems that are fully checked by computer. This summer school will introduce...
