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 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
Sorting:
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 4 years ago
- HoTT in Japanese☆34Updated last year
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Updated 2 months ago
- An implementation of a Zeilberger-style linear type theory.☆11Updated 3 years ago
- Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic☆45Updated 9 years ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆25Updated 7 years ago
- A cost-aware logical framework, embedded in Agda.☆61Updated last week
- An experimental Agda kernel for Jupyter☆24Updated 3 years 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☆36Updated 7 months ago
- ☆17Updated last year
- Commutative diagrams with TikZ☆53Updated 2 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆34Updated 5 months ago
- The formal proof of the Odd Order Theorem☆31Updated last week
- HoTT in Lean 3☆80Updated 4 years ago
- The Agda Universal Algebra Library (html docs available at the url below)☆33Updated 6 months ago
- Hanoi tower in Coq☆26Updated last month
- ☆23Updated 3 years ago
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- Haskell library for non-deterministic pattern matching☆17Updated 3 years ago
- 🪆 A Staged Type Theory☆35Updated last year
- Xy-pic extension for MathJax version 3☆37Updated 3 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Sokoban (in Coq) [maintainer=@erikmd]☆22Updated 5 months ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated last year
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆12Updated 4 years ago
- A (in-development) Coq mechanization of WebAssembly specification.☆21Updated 3 years ago
- A proof tree viewer that works with Coq through Proof General☆28Updated 4 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- An equational theorem prover based on Knuth-Bendix completion☆52Updated 2 months ago