COQ.nvim support for WordPress hooks
GPL-3.0 License
Statistics for this project are still being loaded, please check back later.
Interactive Coq Proofs in Vim
A Neovim client for VsCoq 2 vscoqtop.
Coq Support for Visual Studio Code
Syntax highlighting and Coq interactivity for Sublime Text 3
Coq plugin for extracting Elm code
Visual Studio Code extension for Coq
Visual Studio Code Extension and Language Server Protocol for Coq
A function definition package for Coq
A rudimentary Vim clone in Coq, with CertiCoq and ncurses.
A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.
A formatter/linter for Coq source
Formalization of C++ for verification purposes.
Coq examples
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Re...
Neovim client for coq-lsp