divinrkz / typed-latexView on GitHub
A tool that analyzes LaTeX-written discrete math proofs and parses natural language to identify common proof type-errors.
β˜†10Oct 15, 2024Updated last year

Alternatives and similar repositories for typed-latex

Users that are interested in typed-latex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

Sorting:

Are these results useful?