Formalisointi-kappaleen tehtäväideoita:

- Löydä tyyppi todistukselle
- Täytä todistus
- Muodosta sanalliselle lauseelle formaali versio

Muuta formalisointi-kappaleeseen:

- Lean-blueprint
- Suuret formalisointiprojektit
- Fermat'n suuri lause ja korollaareja