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.0.tar.gz
sha512=16f4aac59f78681d7595058d3d5537e5f939c5f15b16469fc94571e654c932958869ede6adb0bd9d7b3bcba3b581cd0c8f38435e7ea6f4315a67cf93a68dacb3

Description

Tags

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

Published: 09 Dec 2021

Dev Dependencies

None

Used by (1)

  1. coq-flocq-quickchick != "1.0.1"

Conflicts

None