"~En İyi 100 Teorem" ve çeşitli dillerdeki formalizasyonlarının (her birine bağlantıyla birlikte) güzel küçük bir listesi, hâlâ güncel
bağlantı:
153