# Ask HN: Where are the good search engines for mathematical formulas? > Source: > Published: 2026-07-04 18:57:49+00:00 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.