konn / vscode-generic-input-method
Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX
☆11Updated last year
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
- The formal proof of the Odd Order Theorem☆30Updated last month
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Updated 4 months ago
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]☆37Updated last month
- Agda grammar for tree-sitter☆34Updated 4 months ago
- The 'Robot' theorem prover. Fork of github.com/mg262/research☆12Updated 4 years ago
- HoTT in Japanese☆34Updated last year
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- ☆23Updated 2 years ago
- Hanoi tower in Coq☆25Updated 3 months ago
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- Haskell library for non-deterministic pattern matching☆17Updated 3 years ago
- Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic☆44Updated 8 years ago
- Commutative diagrams with TikZ☆49Updated 2 years ago
- HoTT in Lean 3☆78Updated 4 years ago
- An implementation of a Zeilberger-style linear type theory.☆11Updated 3 years ago
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 4 years ago
- ☆17Updated last year
- VSCode support for Forester☆19Updated 9 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- ☆38Updated last year
- an SML language server that uses SML/NJ's "visible compiler" feature☆25Updated 7 years ago
- A proof tree viewer that works with Coq through Proof General☆24Updated 4 years ago
- Multinomials for the Mathematical Components library.☆14Updated last month
- TODO☆23Updated 9 years ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated 3 weeks ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆29Updated 2 months ago
- A verified compiler for a lazy functional language☆34Updated last month
- A type theory with native support for Polynomial Functors.☆39Updated last year
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- Deciding Presburger arithmetic in agda☆31Updated 2 years ago