10–15 intentionally broken proofs with common student errors. Students click to reveal error categories (e.g., quantifier swap, missing case). The linter then highlights the exact lines where reasoning fails.
The course is famous for introducing students to mathematical "monsters"—counterexamples that challenge intuition.