package coq-quickchick

  1. Overview
  2. No Docs
Randomized Property-Based Testing Plugin 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. L
    Li-yao Xia <>
  7. A
    Arthur Azevedo de Amorim <>
  8. Y
    Yishuai Li <>
  9. A
    Antal Spector-Zabusky <>

Maintainers

  1. L
    llamp@seas.upenn.edu

Sources

v1.6.5.tar.gz
sha512=ba8fe7f043ac8f8738ce2c26c0f8f973c3a3075401bbc74830a1c283a845a33817efa8c71272a0f5db1a6c0f9a7c78bdadbc4d18bcfa8c78572c281d93807677

Description

Tags

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

Published: 13 Apr 2023

Dependencies (9)

  1. ocamlfind
  2. coq-simple-io
  3. coq-mathcomp-ssreflect
  4. coq-ext-lib
  5. coq >= "8.13~" & < "8.18"
  6. cppo build & >= "1.6.8"
  7. menhir build
  8. ocaml >= "4.07"
  9. dune >= "2.8"

Dev Dependencies (2)

  1. odoc with-doc
  2. ocamlbuild with-test

Used by (3)

  1. coq-async-test
  2. coq-flocq-quickchick != "1.0.1"
  3. coq-http >= "0.1.2"

Conflicts

None