coq-lsp in coq-community/awesome-coq

Visual Studio Code Extension and Language Server Protocol for Coq

created at Feb. 8, 2019, 11:11 a.m.

6 -1

132 +1

28 +0

coq-serapi in coq-community/awesome-coq

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

created at May 26, 2016, 4:22 a.m.

12 +0

124 +0

39 +0

pycoq in coq-community/awesome-coq

Python bindings for the Coq interactive proof assistant

created at Sept. 23, 2021, 12:42 p.m.

4 +0

49 +0

5 +0