templates
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
AI summary
Coq project templates
Provides boilerplate templates and scripts for generating configuration files and setup scripts in Coq projects
- stars
- 13
- forks
- 9
- watching
- 7
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
C verifier
A template project for verifying the correctness of C programs in Coq
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Parametrization tool
A Coq plugin providing commands for generating parametricity statements used in data refinement proofs.
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Package repository
A collaborative effort to maintain and promote Coq packages and tools.
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Parser combinator library
A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq.
Proof assistant
Coq proof assistant book with exercises and examples
jscoq/jscoq518
Coq IDE
An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser.
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Coq tips
A resource for discovering useful techniques and tricks in Coq
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Coq container
Provides pre-configured Docker images for building and testing the Coq proof assistant
Featured in 1 awesome list
Each link jumps to the spot where the list mentions templates.