package coq-ext-lib
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A library of Coq definitions, theorems, and tactics
Install
Dune Dependency
Authors
Maintainers
Sources
v0.10.3.tar.gz
sha256=24cdcf7f0bd981be2d002a46de7e76472c3f0505a2631ac6c58386ebc2a08f22
Description
A collection of theories and plugins that may be useful in other Coq developments.
Dev Dependencies
None
Used by (9)
-
coq-charge-core
>= "1.0.1" -
coq-itree
= "3.0.0" -
coq-itree-extra
< "5.1.2" -
coq-json
= "0.1.3" - coq-mirror-core
- coq-quickchick
-
coq-simple-io
>= "1.0.0" -
coq-squiggle-eq
>= "1.0.2" - coq-vellvm
Conflicts
None
On This Page