coq-scripts
by JasonGross
Various useful scripts for dealing with Coq files
AI summary
Coq project scripts
Tools for managing and automating Coq file workflow
- stars
- 8
- forks
- 6
- watching
- 4
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Bug finder
Tools for helping find and fix bugs in the Coq proof assistant development environment.
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.
Coq tips
A resource for discovering useful techniques and tricks in Coq
Coq builder
Automates Coq project setup and Continuous Integration with Nix package manager
Coq project templates
Provides boilerplate templates and scripts for generating configuration files and setup scripts in Coq projects
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Code processor
A tool for processing Coq and Lean 4 code embedded in text documents
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Web server
A Coq-based web server written in a functional programming language
Coq IDE
A tool for interactive theorem proving and language support in Coq
Proof assistant
Coq proof assistant book with exercises and examples
Coq tutorial notes
Unstructured notes and resources concerning the Broad tutorial in Coq language
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
Featured in 1 awesome list
Each link jumps to the spot where the list mentions coq-scripts.