coq-lsp
by ejgallego
Visual Studio Code Extension and Language Server Protocol for Coq
AI summary
Coq IDE
A tool for interactive theorem proving and language support in Coq
- stars
- 153
- forks
- 35
- watching
- 6
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Proof assistant library
Python bindings for Coq's interactive proof assistant
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/vscoq349
Coq editor
An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Coq IDE kernel
A Jupyter notebook kernel for interactive theorem proving with Coq
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
IO library
Provides tools to implement IO programs directly in Coq
Coq interface library
A Coq library providing definitions and notations to facilitate interaction between Haskell developers and the Coq proof assistant.
Code transformer
Transforms OCaml code into formal, verifiable Coq code to prove complex properties
Code tester
Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications.
Proof assistant distribution
A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions coq-lsp.