' QuickChick: Property-Based Testing in Coq
Leonidas Lampropoulos and Benjamin C. Pierce
 

Version 1.2 (2021-05-26 10:04, Coq 8.12 or later)