oerpub / mathconverterLinks
Converts from AsciiMath, LaTeX, MathML to LaTeX, MathML
☆57Updated 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☆30Updated last year
- A Haskell library for converting LaTeX math to MathML.☆372Updated last month
- Converts MathML to LaTeX☆94Updated last week
- Pure Python library for LaTeX to MathML conversion☆217Updated 2 weeks 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…☆318Updated 4 months ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆33Updated 5 months ago
- Xy-pic extension for MathJax version 3☆37Updated 3 years ago
- XSLT and javascript code intended mostly for manipulating MathML and OpenMath.☆72Updated 4 years ago
- Java Geometry Expert☆40Updated last week
- ☆10Updated this week
- Mirror of ocaml-forester☆45Updated last year
- Tree Proof Generator☆170Updated 4 months ago
- The Slate Interactive Theorem Prover☆23Updated 2 years ago
- A file-based mirror of the nLab wiki (HTML format).☆24Updated this week
- All the math/tex files for the Automorphic Project☆19Updated last year
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆18Updated 6 months ago
- A Lean file formatter☆68Updated 2 years ago
- The Lean 4 web editor☆97Updated 3 weeks ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Examples of technical drawing with John Hobby's MetaPost language☆53Updated last week
- The root repository for the SpectralSequences project.☆30Updated last week
- Lean4中文教程☆34Updated 5 months ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆29Updated 3 years ago
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆53Updated last year
- Lean for the Curious Mathematician 2020☆67Updated last year
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Updated last year
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated 4 months ago