ojsheikh / unicode-latex
A visual studio code extension to insert Unicode symbols given LaTeX symbol names
☆29Updated last year
Alternatives and similar repositories for unicode-latex:
Users that are interested in unicode-latex are comparing it to the libraries listed below
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- Commutative diagrams with TikZ☆48Updated 2 years ago
- LaTeX-style unicode input for Visual Studio Code☆11Updated 10 months ago
- Xy-pic extension for MathJax☆61Updated 4 years ago
- The formal proof of the Odd Order Theorem☆30Updated this week
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- ☆22Updated 2 years ago
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]☆37Updated 2 weeks ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated 2 months ago
- ☆37Updated last year
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- Mathematical stories☆13Updated 4 years ago
- HoTT in Lean 3☆78Updated 4 years ago
- Mathematical notes and papers☆25Updated last month
- Linear Dependent Types for Differential Privacy TypeChecker☆31Updated 5 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated 5 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated last week
- A (formalised) general definition of type theories☆57Updated 3 years ago
- Enter Unicode characters using LaTeX notation☆93Updated last year
- Coordinate-free hypersurfaces as Haskell types☆40Updated last year
- FreeTikZ☆37Updated 7 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 4 years ago
- Conference on Homotopy Type Theory 2019☆15Updated 5 years ago
- A quick reference for mapping Coq tactics to Lean tactics☆69Updated 3 years ago
- my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice☆9Updated 4 years ago
- Archived materials related to Homotopy Type Theory.☆10Updated 12 years ago