https://theoremdb.org/

Seems to be doing exactly the same?