mrconter2··on Palomar: A registry of Lean verified mathematicshttps://theoremdb.org/Seems to be doing exactly the same?