Top100MathematicalTheorems - rocq-prover/rocq GitHub Wiki http://personal.stevens.edu/~nkahl/Top100Theorems.html http://www.cs.ru.nl/~freek/100/