fajna mała lista "~najlepszych 100 twierdzeń" i ich sformalizowań w różnych językach (z linkiem do każdego z nich), wciąż aktualna
łącze:
147