Lean 4 — Proof Engineering

Examens

ASSESSMENT · pondéré

Proficiency assessment — Lean 4

12 questions, pondérées par domaine seuil 80%

quiz

Quiz — Phase 2 — Proof foundations

5 min seuil 60%

quiz

Quiz — Phase 3 — Mathlib and proof engineering

9 min seuil 60%

Examen blanc

Mock exam — 30 questions

30 min seuil 70%