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
- Easy insertion of unicode math symbols☆50Updated 2 years ago
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]☆37Updated this week
- ☆17Updated last year
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Updated 3 months ago
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 4 years ago
- The formal proof of the Odd Order Theorem☆30Updated this week
- Commutative diagrams with TikZ☆47Updated 2 years ago
- Agda grammar for tree-sitter☆34Updated 3 months ago
- An implementation of a Zeilberger-style linear type theory.☆10Updated 3 years ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- HoTT in Lean 3☆78Updated 4 years ago
- Haskell library for non-deterministic pattern matching☆17Updated 3 years ago
- Xy-pic extension for MathJax☆61Updated 4 years ago
- Development of the CafeOBJ interpreter☆33Updated 3 months ago
- Command-like expressions for real infinite-precision calculations☆42Updated last year
- A (in-development) Coq mechanization of WebAssembly specification.☆21Updated 3 years ago
- A Coq library providing tactics to deal with hypothesis☆21Updated 2 months ago
- A cost-aware logical framework, embedded in Agda.☆60Updated 6 months ago
- The Agda Universal Algebra Library (html docs available at the url below)☆31Updated 2 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- ☆22Updated 8 years ago
- 🪆 A Staged Type Theory☆34Updated last year
- ☆22Updated 2 years ago
- An equational theorem prover based on Knuth-Bendix completion☆49Updated 2 months ago
- TODO☆23Updated 9 years ago
- Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic☆44Updated 8 years ago
- Xy-pic extension for MathJax version 3☆36Updated 2 years ago
- A very simple coq layer for spacemacs☆36Updated 5 years ago
- Algebraic Combinatorics in Coq☆38Updated 3 weeks ago
- Total Parser Combinators in Coq [maintainer=@womeier]☆42Updated last year