package coq-ext-lib
A library of Coq definitions, theorems, and tactics
Install
Dune Dependency
Authors
Maintainers
Sources
v0.9.0-beta3.tar.gz
md5=bee5c49182f8ccfc9c55bccc1bf892e7
Description
Published: 25 Nov 2015
Dev Dependencies
None
Used by (6)
-
coq-itree-extra
< "5.1.2" -
coq-json
= "0.1.3" - coq-quickchick
-
coq-simple-io
>= "1.2.1" & < "1.6.0" -
coq-squiggle-eq
>= "1.0.2" -
coq-vellvm
< "v2.0.20250110"
Conflicts
None
On This Page