Posted on 2026-09-10 Tags: lean, formalization This semester, we will run a seminar on formalization and lean.