Divide-By-0 / autolatexLinks
All Auto Latex Equations Versions.
☆37Updated last month
Alternatives and similar repositories for autolatex
Users that are interested in autolatex are comparing it to the libraries listed below
Sorting:
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆92Updated this week
- A blog on AI, personal development, and living a good life.☆23Updated this week
- Exponent pair database☆62Updated this week
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆325Updated last year
- CLI for document conversion for scientific documents, powered by Mathpix OCR☆105Updated last year
- Collaboration / Topic requests for SoME☆210Updated 2 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 2 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated last month
- Compile Tex files easily☆92Updated 2 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆286Updated 8 months ago
- Listing of online math seminars☆43Updated 11 months ago
- A Low Barrier Proof Assistant☆123Updated last week
- Synchronization for TeX☆77Updated 3 weeks ago
- UCalgary version of forallx, an introduction to formal logic☆111Updated 2 months ago
- Benchmark LLM reasoning capability by solving chess puzzles.☆86Updated 4 months ago
- Formalizing stochastic doubly-efficient debate☆108Updated 10 months ago
- stemformulas.com, the eventual home of every STEM formula☆19Updated 7 months ago
- The standard template to create a lean game☆28Updated this week
- Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]☆60Updated last year
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- A turnkey command for converting a LaTeX source to ar5iv-style HTML☆74Updated 3 weeks ago
- cadCAD implementation in Julia☆17Updated 8 months ago
- ☆23Updated last week
- Grounding LLM mathematical reasoning with proof assistants.☆63Updated 2 years ago
- SorryDB indexes sorries in public lean repositories☆28Updated 2 weeks ago
- plasTeX plugin to build formalization blueprints.☆235Updated 2 months ago
- ☆99Updated 9 months ago
- Lean documentation authoring tool☆210Updated last week
- Project to verify the Guy-Selfridge conjectures☆20Updated 2 months ago
- blueprint for prime number theorem and more☆181Updated last week