coq-tools
Bug finder
Tools for helping find and fix bugs in the Coq proof assistant development environment.
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
39 stars
4 watching
9 forks
Language: Python
last commit: 11 months ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
| jasongross/coq-scripts | Tools for managing and automating Coq file workflow | 8 |
 engineeringsoftware/mcoq | Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications. | 30 |
 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 |
| ejgallego/coq-lsp | A tool for interactive theorem proving and language support in Coq | 153 |
 coq-community/coq-ext-lib | A collection of reusable Coq definitions and theorems for building software development tools | 129 |
 jscoq/jscoq | An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser. | 518 |
| coq-community/coq-art | Coq proof assistant book with exercises and examples | 114 |
 formal-land/coq-of-rust | Tool that verifies Rust code by translating it into Coq's proof system to ensure no bugs or vulnerabilities exist | 437 |
 coq/platform | A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching | 191 |
| coq-community/coq-tricks | A resource for discovering useful techniques and tricks in Coq | 507 |
 gwen001/github-search | Tools for searching GitHub repositories and data | 1,358 |
 princeton-vl/coqgym | A learning environment for theorem proving with the Coq proof assistant | 388 |