Welcome to the Lean Formalization Lab! We develop and verify machine-checked proofs and certified algorithms in Lean 4.

▶ Meet the Team
▶ Our Projects
▶ Resources & Papers