This semester (Fall 2026), we’ll run a seminar on Formalization of math and Lean in the math department here at Tufts University.
Schedule: meets weekly in JCC 302, Tuesday 3:30 - 4:20.
The first meeting will be 2026-09-15.
The Lean prover community website has lots of Lean resources. In particular, probably the first thing you need to know is how to install Lean on your computer.
There is also a useful page of Learning resources
Two particularly useful “book-references” are
I plan to post some notes for the seminar here.