🧮
Lean 4 — Proof Engineering
Réviser · Lean 4 — Proof Engineering
Tout · 40
Phase 0 · 3
Phase 1 · 7
Phase 2 · 6
Phase 3 · 6
Phase 4M · 5
Phase 4P · 4
Phase 5 · 7
Phase 6 · 2
Réviser
Exercices
Labs
Examens
Cours
Bilan