uma lista organizada dos "~100 teoremas principais" e suas formalizações em várias línguas (com um link para cada um deles), ainda atualizada
Hiperligação:
160