MathDB.

MathDB is a large-scale community database of mathematical definitions, theorems, conjectures and open problems, with Lean formalization and automated proof-verification capability, developed by Caltech Professor Tony Yue Yu and his team.

Last updated 23 Oct 2026