Lean: Hoe zeker is wiskunde eigenlijk?
In deze masterclass maak je kennis met de fundamenten van de wiskunde en met de programmeertaal Lean. Aan het einde kunnen we bewijzen wat we nu weten over de perfecte getallen en kan de computer dit bewijs controleren. [...]