Quiz — Phase 3 — Mathlib and proof engineering

9 questions · 9 min · seuil 60%. Plusieurs bonnes réponses possibles.