Alternatives and similar repositories for mathconverter

Users that are interested in mathconverter are comparing it to the libraries listed below

• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• kovzol / Java-Geometry-Expert
  Java Geometry Expert
  ☆43Updated 2 months ago
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆38Updated 3 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 7 years ago
• chanind / mathlib-changelog
  ☆10Updated this week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 3 months ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• transpect / mml2tex
  Converts MathML to LaTeX
  ☆98Updated last month
• loopspace / spath3
  TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.
  ☆24Updated 4 months ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 9 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆21Updated this week
• jjdishere / EG
  Formalizing Euclidean Geometry in Lean
  ☆29Updated last year
• mmasdeu / topologygame
  Learn Lean and topology
  ☆24Updated 2 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆31Updated 3 weeks ago
• pi-base / data
  A community database of topological counterexamples
  ☆129Updated this week
• jgm / texmath
  A Haskell library for converting LaTeX math to MathML.
  ☆378Updated 3 weeks ago
• Trebor-Huang / vscode-forester
  VSCode support for Forester
  ☆22Updated 4 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆35Updated 4 months ago
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆12Updated last week
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• FormalizedFormalLogic / Arithmetization
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Updated 6 months ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆67Updated last year
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated last year
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆20Updated 4 months ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆34Updated last week
• zmwangx / Typeset-EGA-SGA
  Typeset version of EGA and SGA by Grothendieck.
  ☆12Updated 11 years ago
• CharredLee / topos
  Topos theory in Lean 4
  ☆15Updated 7 months ago
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆23Updated 3 months ago