oerpub / mathconverterLinks
Converts from AsciiMath, LaTeX, MathML to LaTeX, MathML
☆59Updated 5 years ago
Alternatives and similar repositories for mathconverter
Users that are interested in mathconverter are comparing it to the libraries listed below
Sorting:
- Tag-based webview of LaTeX documents☆31Updated last year
- A Haskell library for converting LaTeX math to MathML.☆384Updated this week
- Converts MathML to LaTeX☆100Updated 4 months ago
- Xy-pic extension for MathJax version 3☆38Updated 3 years ago
- plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of out…☆327Updated 9 months ago
- Pure Python library for LaTeX to MathML conversion☆231Updated last week
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆25Updated 2 months ago
- Metamath verifier in Python☆40Updated 5 months ago
- Lean4中文教程☆35Updated 10 months ago
- The root repository for the SpectralSequences project.☆32Updated last week
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆34Updated 4 months ago
- Java Geometry Expert☆44Updated 4 months ago
- Synchronization for TeX☆80Updated 3 months ago
- PRolog Equation Solving System☆29Updated 9 years ago
- LALR Javascript LaTeX-to-MathML converter compatible with Unicode☆146Updated last year
- The Lean 4 web editor☆121Updated 2 months ago
- Typeset version of EGA and SGA by Grothendieck.☆12Updated 11 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆32Updated 3 years ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 2 months ago
- Tree Proof Generator☆175Updated 9 months ago
- Examples of technical drawing with John Hobby's MetaPost language☆55Updated 3 weeks ago
- Hevea is a fast latex to html translator☆114Updated last month
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated 2 years ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- Book about using Lean with How To Prove It☆24Updated 2 months ago
- ☆38Updated 2 years ago
- All the math/tex files for the Automorphic Project☆19Updated last year