eine coole kleine Liste der "~top 100 Theoreme" und deren Formalisierungen in verschiedenen Sprachen (mit einem Link zu jedem von ihnen), immer noch aktuell
verbinden:
167