hpcslag/math_theorem_searcher

A tool can search the closest theorem related to your input.

Jupyter Notebook