Ask HN: Where are the good search engines for mathematical formulas?

A user on Hacker News asks for functional search engines for mathematical formulas, noting that existing tools like approach0.xyz, searchonmath.com, and mathweb.org are offline or produce irrelevant results. The user lists alternatives including matlas.ai, mathdeck.org, and theoremsearch.com, with one tool indexing over 8 million entries from Lean and Rocq corpora for premise retrieval.

approach0.xyz : offline searchonmath.com : Gives irrelevant results such as p = m v when searching for F = m a https://search.mathweb.org/: A collection of abandoned projects and offline sites reply https://matlas.ai https://www.mathdeck.org https://portal.mardi4nfdi.de/wiki/Portal https://www.theoremsearch.com/search https://ansumandas441.github.io/mathematical-discovery-engin... 8M+ search index entries over Lean and Rocq corpora and growing; propositions only for now, so more oriented towards premise retrieval at the moment.