References

Official Documentation

Theorem Proving Games

Natural Number Game
Real Analysis Game - Rutgers University
Reintroduction to Proofs - Johns Hopkins University

University Courses (Lean 4)

Functional Programming and Theorem Proving - Stanford University
Formal Proof and Verification - Brown University
The Mechanics of Proof - Fordham University
Formalising Mathematics - Imperial College London
Formalized Mathematics in Lean - University of Bonn
Interactive Theorem Proving - LMU Munich
Proofs and Programs - Indian Institute of Science
Theorem Proving with Lean - University of Warwick
Logic and Mechanized Reasoning - Carnegie Mellon University
Lean for Scientists and Engineers - University of Maryland
An Introduction to Lean 4 - Universitat de València
Interactive Theorem Proving in Lean - MPI Leipzig
The Hitchhiker’s Guide to Logical Verification - Various institutions
Formal Methods in Mathematics - Mastermath (Netherlands)
Computergestütztes mathematisches Beweisen - LMU Munich
Logique et démonstrations assistées - Université Paris-Saclay
Semantics and Verification of Software - RWTH Aachen
Formal Proof - Ohio State University
Lean Community Course Catalog - Full listing

University Courses (Lean 3)

Logic and Proof - Carnegie Mellon University
Modern Mathematics with Lean - University of Exeter
Graduate Introduction to Logic - University of Hawaii
Introduction to Proofs with Lean - Johns Hopkins University
Logic and Modelling - Vrije Universiteit Amsterdam
Introduction to formal verification of mathematics - Harvard University