daftar rapi dari "~top 100 theorems" dan formalisasinya dalam berbagai bahasa (dengan tautan ke masing-masing bahasa), masih mutakhir
tautan:
149