tomtomjhj / vscoq.nvim
A Neovim client for VsCoq 2 vscoqtop.
☆10Updated last month
Alternatives and similar repositories for vscoq.nvim:
Users that are interested in vscoq.nvim are comparing it to the libraries listed below
- Neovim client for coq-lsp☆26Updated 5 months ago
- Agda interaction pluging for neovim☆37Updated 5 months ago
- Visual Studio Code Extension and Language Server Protocol for Coq☆166Updated this week
- Coq code formatter☆22Updated last week
- NeoVim plugin for interacting with Agda written in Lua☆18Updated last year
- Simple configuration and extra tools for NVIM + LSP + Idris2☆47Updated 4 months ago
- Interactive Coq Proofs in Vim☆289Updated this week
- agda-mode for neovim☆148Updated this week
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆46Updated last year
- EXPERIMENTAL: Idris2 plugin for neovim in Idris2☆10Updated 3 years ago
- Programming Language Foundations in Lean☆28Updated 3 months ago
- Haskell grammar for tree-sitter.☆165Updated this week
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆30Updated 3 months ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆25Updated 2 months ago
- Agda interaction in vim☆131Updated 3 years ago
- OCaml bindings for the Neovim API☆154Updated 4 months ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆38Updated 3 months ago
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆32Updated last month
- Lean 4 library for pretty printing expressions as LaTeX☆19Updated 3 weeks ago
- Neovim support for the Lean theorem prover☆338Updated this week
- A Seamless, Interactive Tactic Learner and Prover for Coq☆63Updated last week
- High level commands to declare a hierarchy based on packed classes☆97Updated this week
- Functional Programming in Lean☆77Updated 10 months ago
- Neovim plugin for forester☆16Updated 4 months ago
- Purescript compiler back-end for Lua☆55Updated this week
- My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.☆28Updated 2 weeks ago
- ☆20Updated 11 months ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆35Updated last month
- LaTeX code for a paper on lean's type theory☆132Updated 2 years ago