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
- Jupyter kernel for Coq☆95Updated last year
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Commutative diagrams with TikZ☆54Updated 3 years ago
- A semantic Extension of TeX/LaTeX☆55Updated 3 weeks ago
- HoTT in Lean 3☆82Updated 5 years ago
- Emacs mode for Lean☆68Updated 2 years ago
- The formal proof of the Odd Order Theorem☆37Updated 2 months ago
- ☆17Updated 2 years ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆101Updated 2 years ago
- Code samples for Lean 4☆76Updated 2 years ago
- Formalizations of Gradually Typed Languages in Agda☆59Updated 3 weeks ago
- Andrej Bauer's blog "Mathematics and Computation"☆54Updated last year
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆141Updated 9 months ago
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]☆39Updated 7 months ago
- Xy-pic extension for MathJax version 3☆38Updated 3 years ago
- A very simple coq layer for spacemacs☆37Updated 6 years ago
- Matita (proof assistant) with embedded elpi☆15Updated 7 years ago
- Development of the CafeOBJ interpreter☆40Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 6 years ago
- Agda grammar for tree-sitter☆41Updated 4 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated 3 weeks ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated 2 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆41Updated last year
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆55Updated 5 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Updated 9 months ago
- ☆36Updated 2 months ago
- DateTime package for Lean 4☆16Updated last year
- The Agda Universal Algebra Library (html docs available at the url below)☆38Updated 2 weeks ago
- An equational theorem prover based on Knuth-Bendix completion☆57Updated last month