divinrkz / typed-latex

A tool that analyzes LaTeX-written discrete math proofs and parses natural language to identify common proof type-errors.
8Updated last month

Related projects

Alternatives and complementary repositories for typed-latex