Awesome
Approach0 is a math-aware search engine.
Online demo
Visit https://approach0.xyz/search
Documentation
Visit https://approach0.xyz/docs for technical details.
License
MIT
Updates (May 24, 2019)
Currently, this master branch is inactive, although the research branch has an early version of the new model, it only supports math queries. The most updated code is closed source, it features very effective math-aware search with better efficiency (it also supports mixed types of query keywords).