coq_wordpress

COQ.nvim support for WordPress hooks

GPL-3.0 License

Stars
5
View Code on GitHub Twitter
Ecosystems: Coq, Neovim, Wordpress

No README available, please check again later.

Related Projects
BRiCk

Formalization of C++ for verification purposes.

04 May 2020 67
ltac2

A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.

24 Jul 2017 31
vscoq

Visual Studio Code extension for Coq

10 Jul 2019 335
coq-examples

Coq examples

13 Oct 2021 0
coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

08 Feb 2019 129
Coq-Equations

A function definition package for Coq

27 Oct 2009 208
coq-lsp.nvim

Neovim client for coq-lsp

12 Feb 2023 21
Coqtail

Interactive Coq Proofs in Vim

31 May 2017 272
vscoq.nvim

A Neovim client for VsCoq 2 vscoqtop.

02 Oct 2023 6
coq-elm-extraction

Coq plugin for extracting Elm code

13 Oct 2022 2
vim-in-coq

A rudimentary Vim clone in Coq, with CertiCoq and ncurses.

03 Dec 2023 1
vscoq

Coq Support for Visual Studio Code

12 Jan 2016 91
vstyle-tools

A formatter/linter for Coq source

06 Dec 2021 14
coqtail-math

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Re...

12 Oct 2020 15
sublime-coq-plugin

Syntax highlighting and Coq interactivity for Sublime Text 3

05 Jan 2015 6