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: 5 months 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. | 518 |
| coq-community/coq-tricks | A resource for discovering useful techniques and tricks in Coq | 507 |
| coq-community/coq-nix-toolbox | Automates Coq project setup and Continuous Integration with Nix package manager | 34 |
| coq-community/templates | Provides boilerplate templates and scripts for generating configuration files and setup scripts in Coq projects | 13 |
| coq-community/semantics | A comprehensive survey of programming language semantics styles implemented in Coq | 46 |
 cpitclaudel/alectryon | A tool for processing Coq and Lean 4 code embedded in text documents | 237 |
| 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 | 153 |
| coq-community/coq-art | Coq proof assistant book with exercises and examples | 114 |
 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 | 42 |