package coq-flocq-quickchick
Flocq binary_float generators for QuickChick testing framework
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.0.tar.gz
md5=54ce38b1aa1bfbb9dc52709e2be0eb8f
Description
Published: 05 Jul 2019
Dependencies (3)
-
coq-flocq
= "3.1.0" -
coq-quickchick
>= "1.0.2" -
coq
= "8.8.2"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page