vscoq
Proof Assistant Extension
A Visual Studio Code extension for Coq proof assistant support
Visual Studio Code extension for Coq
343 stars
14 watching
69 forks
Language: OCaml
last commit: 8 days ago coqeditorvscodevscode-extensionvscodium
Related projects:
| Repository | Description | Stars |
|---|---|---|
 coq-community/coq-art | Coq proof assistant book with exercises and examples | 110 |
 ejgallego/coq-lsp | A tool for interactive theorem proving and language support in Coq | 152 |
| ejgallego/pycoq | Python bindings for Coq's interactive proof assistant | 50 |
 whonore/coqtail | Enables interactive proof development in Vim similar to other proof assistants. | 274 |
 jscoq/jscoq | An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser. | 515 |
 cpitclaudel/company-coq | An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software | 354 |
 ocamllabs/vscode-ocaml-platform | An extension for Visual Studio Code to provide OCaml language support and tools | 341 |
 andricdu/vscode-jq | A vscode extension for applying jq filters and statements to JSON files | 22 |
| coq/platform | A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching | 188 |
 hackwaly/vscode-ocaml | An extension for VS Code providing support for the OCaml programming language | 170 |
| coq-community/autosubst | Automates formalizing syntactic theories with variable binders in Coq | 52 |
 engineeringsoftware/mcoq | Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications. | 30 |
| coq-community/lemma-overloading | A Coq library demonstrating design patterns for automated proof automation and canonical structures | 26 |
 vala-lang/vala-vscode | Vala support for Visual Studio Code, providing syntax highlighting and code intelligence. | 41 |
 princetonuniversity/vst | A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant | 442 |