package coq-flocq-quickchick
Flocq binary_float generators for QuickChick testing framework
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.2.tar.gz
sha256=a68ad644eebb17bfaac67758da1dd571a069a26f1e9290c6d633e2e407b0c156
Description
Dependencies (3)
-
coq-flocq
>= "3.2.0" -
coq-quickchick
>= "1.3.0" -
coq
>= "8.11" & < "8.12~"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page