vscoq
by coq
Visual Studio Code extension for Coq
AI summary
Coq editor
An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant
- stars
- 349
- forks
- 72
- watching
- 14
Similar projects
Found by comparing what the projects do, not just their names.
Proof assistant
Coq proof assistant book with exercises and examples
Coq IDE
A tool for interactive theorem proving and language support in Coq
Proof assistant library
Python bindings for Coq's interactive proof assistant
Proof Assistant
Enables interactive proof development in Vim similar to other proof assistants.
jscoq/jscoq518
Coq IDE
An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser.
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
OCaml IDE
An extension for Visual Studio Code to provide OCaml language support and tools
JSON editor extender
A vscode extension for applying jq filters and statements to JSON files
Proof assistant distribution
A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching
OCaml editor
An extension for VS Code providing support for the OCaml programming language
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Code tester
Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications.
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Code editor plugin
Vala support for Visual Studio Code, providing syntax highlighting and code intelligence.
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
