package coq-ext-lib
A library of Coq definitions, theorems, and tactics
Install
Dune Dependency
Authors
Maintainers
Sources
v0.13.2.tar.gz
md5=f46b817a2ecf59fee0087a71da87a8f3
sha512=d5f92dfc6ca91ee230e18fcf3d1a108c0c9568509923ec8aad70688c0af1be162cd17cdd02c7096cef7b41f18037fa389be7f09148bf9e22b7e14bb252d89ae1
Description
A collection of theories and plugins that may be useful in other Coq developments.
Dependencies (1)
-
coq
>= "8.9" & (< "8.10" | >= "8.11")
Dev Dependencies
None
Used by (16)
-
coq-certicoq
>= "0.9+8.19" -
coq-charge-core
>= "1.0.1" - coq-ctree
- coq-freespec-core
-
coq-itree
>= "5.0.0" - coq-itree-extra
-
coq-json
= "0.1.3" - coq-mirror-core
- coq-parsec
- coq-quickchick
-
coq-simple-io
>= "1.0.0" -
coq-squiggle-eq
>= "1.0.2" -
coq-wasm
>= "2.0.1" - rocq-certirocq
-
rocq-metarocq-utils
>= "1.5.1+9.1" - rocq-vellvm
Conflicts
None
On This Page