golopot / tex-to-unicode
A browser extension to convert TeX to Unicode in browser inputs.
☆61Updated last year
Alternatives and similar repositories for tex-to-unicode:
Users that are interested in tex-to-unicode are comparing it to the libraries listed below
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆313Updated last year
- Repository for the QED interactive text and possible extensions☆96Updated last month
- Generate an AST and beautify LaTeX code☆70Updated 2 years ago
- Jupyter kernel for Coq☆96Updated 6 months ago
- metamath proof enumerators and other things☆93Updated 8 months ago
- Xy-pic extension for MathJax☆61Updated 4 years ago
- Theorem Proving in Lean 4☆174Updated 5 months ago
- Server to host lean games.☆246Updated this week
- Olympiad problem database☆48Updated this week
- A computer algebra system for research in combinatorial game theory☆38Updated last year
- The Lean 4 web editor☆85Updated last week
- Commutative diagrams with TikZ☆49Updated 2 years ago
- This project converts structured Lean code into an interactive browser game.☆75Updated last year
- Visual Studio Code extension for the Lean 4 proof assistant☆198Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆148Updated last week
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- An introduction to theorem proving in Lean for the impatient.☆150Updated 2 weeks ago
- Convert TeX's pascal to javascript