coq-tools
by JasonGross
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
AI summary
Bug finder
Tools for helping find and fix bugs in the Coq proof assistant development environment.
- stars
- 39
- forks
- 9
- watching
- 4
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Coq project scripts
Tools for managing and automating Coq file workflow
Code tester
Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications.
Proof assistant library
Python bindings for Coq's interactive proof assistant
Proof Assistant
Enables interactive proof development in Vim similar to other proof assistants.
Coq IDE
A tool for interactive theorem proving and language support in Coq
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
jscoq/jscoq518
Coq IDE
An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser.
Proof assistant
Coq proof assistant book with exercises and examples
Code verifier
Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist
coq/platform191
Proof assistant distribution
A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching
Coq tips
A resource for discovering useful techniques and tricks in Coq
Searcher
Tools for searching GitHub repositories and data
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Featured in 1 awesome list
Each link jumps to the spot where the list mentions coq-tools.