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
Related projects ⓘ
Alternatives and complementary repositories for vscode-generic-input-method
- Easy insertion of unicode math symbols☆47Updated last year
- Haskell library for non-deterministic pattern matching☆17Updated 2 years ago
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 4 years ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆25Updated 6 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆26Updated last week
- Agda grammar for tree-sitter☆33Updated last week
- Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic☆44Updated 8 years ago
- ☆17Updated last year
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]☆37Updated 2 months ago
- Total Parser Combinators in Coq [maintainer=@womeier]☆42Updated 10 months ago
- HoTT in Japanese☆33Updated last year
- A Unifying Cartesian Cubical Set Model☆33Updated 5 years ago
- A Specification for Dependent Types in Haskell (Core)☆65Updated 2 years ago
- 🪆 A Staged Type Theory☆34Updated last year
- Commutative diagrams with TikZ☆46Updated 2 years ago
- Development of the CafeOBJ interpreter☆32Updated this week
- Deciding Presburger arithmetic in agda☆31Updated last year
- ☆34Updated last year
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- Coq plugin for parametricity [maintainer=@proux01]☆44Updated 2 months ago
- Generates natural language versions of Coq proofs☆51Updated 6 years ago
- super tiny implementation of higher-order logic proof assistant in lean☆21Updated 5 years ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- TODO☆23Updated 9 years ago
- VSCode support for Forester☆18Updated 5 months ago
- A Verified Implementation of Dijkstra's Algorithm☆13Updated 3 years ago
- Minimal Haskell Compiler☆63Updated 6 years ago
- Emacs mode for Lean☆69Updated last year
- A type theory with native support for Polynomial Functors.☆38Updated last year
- High level commands to declare a hierarchy based on packed classes☆97Updated this week