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.11.8.tar.gz
md5=5f5baefeb5f89f2185e132d8166d1725
sha512=83521bcaa561485d483b3bc0957f3591f96e2c367841cdbfc3ec0b2cf9c75fd2866c98c9e0c2541f89ca1fdaefda654a8a37d7c974ab464234ff7b4f77a5e6e8
Description
A collection of theories and plugins that may be useful in other Coq developments.
Dev Dependencies
None
Used by (13)
-
coq-certicoq
< "0.9+8.19" -
coq-charge-core
>= "1.0.1" - coq-freespec-core
-
coq-itree
>= "3.1.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-vellvm
-
coq-wasm
>= "2.0.1"
Conflicts
None
On This Page