Comment by philipfweiss

Maybe consider an integration with theoremdb.org?