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

Here's what I found so far

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