En pen liten liste over "~Topp 100 teoremer" og deres formaliseringer på ulike språk (med en lenke til hvert av dem), fortsatt oppdatert
lenke:
171