More MathWebSearch Instances
There are numerous mathematical resources that need formula search engines. Given Christoph Alt's thesis and MWS front-end this is mostly a matter of writing a good harvester. Some examples that come to mind
- The Stacks Project 7000 pages of algebra in LaTeX; see https://github.com/MathWebSearch/frontend/issues/18
- the OEIS, We had a search engine for the formulae at one point, we just need to resurrect and modernize it (see #27)
- ...
And the best would be to create a joint index where MWS searches all of these together.