oerpub / mathconverter
Converts from AsciiMath, LaTeX, MathML to LaTeX, MathML
☆53Updated 5 years ago
Alternatives and similar repositories for mathconverter:
Users that are interested in mathconverter are comparing it to the libraries listed below
- Converts MathML to LaTeX☆93Updated this week
- A Haskell library for converting LaTeX math to MathML.☆339Updated this week
- Pure Python library for LaTeX to MathML conversion☆195Updated 3 weeks ago
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆19Updated 6 months ago
- Examples of technical drawing with John Hobby's MetaPost language☆44Updated 3 weeks ago
- Utilities for parsing and manipulating LaTeX ASTs with the Unified.js framework☆94Updated last week
- Tag-based webview of LaTeX documents☆28Updated last year
- The Lean 4 web editor☆80Updated last month
- OpenType font loader for LuaTeX☆62Updated 2 months ago
- ☆10Updated this week
- 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…☆299Updated 3 months ago
- A repository with examples using mathjax-v3 in NodeJS☆105Updated 7 months ago
- Lean4中文教程☆34Updated 2 weeks ago
- 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
- A scientific document recognition system☆168Updated 2 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆47Updated last year
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- The Slate Interactive Theorem Prover☆23Updated 2 years ago
- convert equation inside word(.docx) to latex☆22Updated 2 years ago
- Formalizing Euclidean Geometry in Lean☆29Updated 10 months ago
- JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…☆44Updated last year
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- Catalog Of Math Problems Formalized In Lean☆131Updated this week
- A simple REPL for Lean 4, returning information about errors and sorries.☆10Updated last year
- Lindemann–Weierstrass Theorem☆11Updated 9 months ago
- All the math/tex files for the Automorphic Project☆18Updated 9 months ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Updated 2 months ago
- MathWebSearch Implementation☆47Updated 2 years ago
- ImProver: Agent-Based Automated Proof Optimization☆23Updated last week
- Simple LaTeX parser providing latex-to-unicode and unicode-to-latex conversion☆336Updated 2 weeks ago