gatapia / unicode-math-vscodeLinks
Easy insertion of unicode math symbols
☆50Updated 2 years ago
Alternatives and similar repositories for unicode-math-vscode
Users that are interested in unicode-math-vscode are comparing it to the libraries listed below
Sorting:
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Updated last year
- 🍔 Chen’s Private Cuisine Menu☆10Updated last year
- Commutative diagrams with TikZ☆52Updated 2 years ago
- An implementation of a Zeilberger-style linear type theory.☆11Updated 3 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Xy-pic extension for MathJax☆62Updated 4 years ago
- Mathematical notes and papers☆26Updated 2 weeks ago
- ☆23Updated 3 years ago
- A visual studio code extension to insert Unicode symbols given LaTeX symbol names☆30Updated 2 years ago
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]☆37Updated 3 weeks ago
- my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice☆9Updated 5 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- Xy-pic extension for MathJax version 3☆37Updated 2 years ago
- PL syntax macros.☆19Updated 2 weeks ago
- Experiment with synthetic domain theory in cubical agda☆14Updated 2 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 4 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- A toy IO library for Arend☆18Updated 4 years ago
- The formal proof of the Odd Order Theorem☆30Updated 2 weeks ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago
- A book about functional programming in Lean☆40Updated last year
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆15Updated 2 years ago
- An enhanced unification algorithm for Coq☆56Updated last month
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆36Updated last year
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆34Updated 5 months ago
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 4 years ago
- mirror of A simple type-theoretic language: Mini-TT☆40Updated 8 years ago
- Libraries and tools for topological and geometric modeling.☆18Updated 2 months ago
- A Coq layer for Spacemacs☆9Updated 7 years ago