coq-scripts
Coq project scripts
Tools for managing and automating Coq file workflow
Various useful scripts for dealing with Coq files
8 stars
4 watching
6 forks
Language: Coq
last commit: about 1 month ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
| jasongross/coq-tools | Tools for helping find and fix bugs in the Coq proof assistant development environment. | 39 |
 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. | 515 |
| coq-community/coq-tricks | A resource for discovering useful techniques and tricks in Coq | 503 |
| coq-community/coq-nix-toolbox | Automates Coq project setup and Continuous Integration with Nix package manager | 33 |
| coq-community/templates | Provides template files for generating configuration and boilerplate for Coq projects | 13 |
| coq-community/semantics | A comprehensive survey of programming language semantics styles implemented in Coq | 45 |
 cpitclaudel/alectryon | Tools for processing Coq code and prose in technical documents | 236 |
| coq-community/autosubst | Automates formalizing syntactic theories with variable binders in Coq | 52 |
 coq-concurrency/pluto | A Coq-based web server written in a functional programming language | 86 |
 ejgallego/coq-lsp | A tool for interactive theorem proving and language support in Coq | 152 |
| coq-community/coq-art | Coq proof assistant book with exercises and examples | 110 |
 codyroux/broad-coq-tutorial | Unstructured notes and resources concerning the Broad tutorial in Coq language | 31 |
 mit-plv/coqutil | A collection of reusable tools and utilities for working with the Coq proof assistant | 41 |