Hieno pieni lista "~Top 100 Theorems" -teoreemoista ja niiden formalisaatioista eri kielillä (linkillä jokaiseen niistä), edelleen ajan tasalla
linkki:
158