divinrkz / typed-latex

A tool that analyzes LaTeX-written discrete math proofs and parses natural language to identify common proof type-errors.
β˜†8Updated 4 months ago

Alternatives and similar repositories for typed-latex:

Users that are interested in typed-latex are comparing it to the libraries listed below