Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization.
- neovim
- neovim-plugin
- completion
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Visual Studio Code extension for Rocq
A Coq IDE build on top of Proof General's Coq mode
- proof-general
- coq
- integrated-development-environment
- company-mode
Interactive Coq Proofs in Vim
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension