Math enthusiasts can create & search for math formulas & proofs using this web app.

• Supports fuzzy text-based searching of the (graph) database.
• Supports diagram searching up to variable-substitution, even with (KaTeX) styled variables.
• Free to use and with no ads.
• Ultimately human-curated proofs, though some useful tools are provided.