package coq-quickchick

  1. Overview
  2. No Docs
QuickChick is a random property-based testing library for Coq

Install

Dune Dependency

github.com Edit opam file Versions (24)

Authors

  1. L
    Leonidas Lampropoulos <>
  2. Z
    Zoe Paraskevopoulou <>
  3. M
    Maxime Denes <>
  4. C
    Catalin Hritcu <>
  5. B
    Benjamin Pierce <>
  6. A
    Arthur Azevedo de Amorim <>
  7. A
    Antal Spector-Zabusky <>
  8. L
    Li-Yao Xia <>
  9. Y
    Yishuai Li <>

Maintainers

  1. L
    llamp@seas.upenn.edu

Sources

v1.0.1.tar.gz
md5=24aaa89fea91e4e019624ab58eadcc6b

Description

Tags

keyword:extraction category:Miscellaneous/Coq Extensions logpath:QuickChick

Published: 15 Jun 2018

Dependencies (6)

  1. ocamlfind
  2. ocamlbuild
  3. coq-mathcomp-ssreflect < "1.9~"
  4. coq-ext-lib
  5. coq >= "8.8" & < "8.9~"
  6. ocaml >= "4.04.0"

Dev Dependencies

None

Used by

None

Conflicts

None