konn / vscode-generic-input-methodLinks
Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX
☆11Updated 2 years ago
Alternatives and similar repositories for vscode-generic-input-method
Users that are interested in vscode-generic-input-method are comparing it to the libraries listed below
Sorting:
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Xy-pic extension for MathJax version 3☆38Updated 3 years ago
- Jupyter kernel for Coq☆95Updated last year
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆141Updated 8 months ago
- Development of the CafeOBJ interpreter☆40Updated last year
- HoTT in Lean 3☆82Updated 5 years ago
- types for representing structured documents☆119Updated 2 months ago
- Andrej Bauer's blog "Mathematics and Computation"☆54Updated last year
- ☆36Updated 2 months ago
- A semantic Extension of TeX/LaTeX☆54Updated last month
- Kan: A browser extension for reading nLab☆31Updated 7 years ago
- The Definition of Standard ML, Revised (1997)☆117Updated 8 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- A very simple coq layer for spacemacs☆37Updated 6 years ago
- ☆56Updated 7 months ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated 2 months ago
- Code samples for Lean 4☆77Updated 2 years ago
- An interpreter of Hagino's Categorical Programming Language (CPL).☆123Updated last month
- Monads for Racket (!)☆21Updated 10 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 6 years ago
- Emacs mode for Lean☆68Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Prettify Symbols Mode for Visual Studio Code☆92Updated 2 years ago
- Formalizations of Gradually Typed Languages in Agda☆59Updated last week
- ☆17Updated 2 years ago
- Xy-pic extension for MathJax☆63Updated 4 years ago
- A verified compiler for a lazy functional language☆37Updated last week