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
- Jupyter kernel for Coq☆95Updated last year
- Development of the CafeOBJ interpreter☆35Updated 9 months ago
- Xy-pic extension for MathJax version 3☆38Updated 3 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- HoTT in Lean 3☆80Updated 5 years ago
- Commutative diagrams with TikZ☆54Updated 2 years ago
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]☆39Updated 3 months ago
- HoTT in Japanese☆34Updated last year
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆141Updated 5 months ago
- ☆34Updated this week
- Emacs mode for Lean☆69Updated 2 years ago
- Kan: A browser extension for reading nLab☆29Updated 6 years ago
- A semantic Extension of TeX/LaTeX☆54Updated 3 weeks ago
- ☆17Updated 2 years ago
- High level commands to declare a hierarchy based on packed classes☆101Updated this week
- Code samples for Lean 4☆77Updated last year
- Functional teaching language for use in a discrete mathematics course☆170Updated 2 months ago
- The formal proof of the Odd Order Theorem☆34Updated 2 weeks ago
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated last month
- The Definition of Standard ML, Revised (1997)☆115Updated 8 years ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆54Updated 5 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆36Updated 8 months ago
- Agda grammar for tree-sitter☆37Updated this week
- Lecture notes on realizability☆74Updated 6 months ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆99Updated last year
- Preprocessor / Pretty Printer for OCaml☆76Updated 3 weeks ago
- A very simple coq layer for spacemacs☆37Updated 6 years ago