🧮
Lean 4 — Proof Engineering
From first principles to professional practice
A complete Lean 4 curriculum: 40 lessons across eight phases with proof-state replays, 25 structurally checked exercises with Lean Web integration, and a 30-question domain-stratified assessment.
Réviser maintenant…9 thèmes
1Phase 0 — Orientation3 fiches
2Phase 1 — Lean as a language7 fiches
3Phase 2 — Proof foundations6 fiches
4Phase 3 — Mathlib and proof engineering6 fiches
5Phase 4P — Verified software track4 fiches
6Phase 4M — Formal mathematics track5 fiches
7Phase 5 — Advanced Lean7 fiches
8Phase 6 — Professional practice2 fiches
9Capstones & study plans0 fiches