divinrkz / typed-latex
A tool that analyzes LaTeX-written discrete math proofs and parses natural language to identify common proof type-errors.
☆8Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for typed-latex
- A simple npm package to transfer packages and their dependecies across projects OFFLINE☆25Updated last year
- The official webpage for the class of 2024 in RCA.☆11Updated 9 months ago
- 📦 a simple odm with cli , for json file-as-bd☆33Updated 9 months ago
- Realitime code sharing inspired by codeshare.io☆14Updated 5 months ago
- Git-like project describer 📂☆39Updated 3 months ago
- TIC TAC TOE GAME If you feel tired you can play this game online.☆9Updated last year
- A simple spring boot boiler plate containing spring security updated version and swagger documentation☆10Updated last year
- A conventionalized springboot template.☆9Updated last year
- Class - work☆9Updated 5 months ago
- ☆9Updated 5 months ago