package coq-flocq-quickchick
Flocq binary_float generators for QuickChick testing framework
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.1.tar.gz
md5=ced088829a344c127cff792047855168
Description
Published: 04 Oct 2019
Dependencies (3)
-
coq-flocq
>= "3.1.0" -
coq-quickchick
>= "1.0.2" & < "1.3.0" -
coq
>= "8.9"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page