Lista pequena e interessante dos "~100 melhores teoremas" e suas formalizações em várias linguagens (com um link para cada uma delas), ainda atualizadas
link:
155