View the project
on GitHub
Welcome to the coq-ext-lib project website! This project is part of coq-community.
A collection of theories and plugins that may be useful in other Coq developments.
This is an open source project, licensed under the BSD 2-Clause “Simplified” License.
The current stable release of coq-ext-lib can be downloaded from GitHub.
Related publications, if any, are listed below.