Coq OPAMcoq-quickchick
QuickChick is a random property-based testing library for Coq.
opam install coq-quickchick.1.0.1
- homepage
- https://github.com/QuickChick/QuickChick
- license
- MIT
- bugs tracker
- https://github.com/QuickChick/QuickChick/issues
- dependencies
- coq >= 8.8 & coq-ext-lib & coq-mathcomp-ssreflect & ocamlbuild & ocamlfind
- source
- https://github.com/QuickChick/QuickChick/archive/v1.0.1.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-quickchick/coq-quickchick.1.0.1