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

Version 1.3.1 (2023-03-25 10:59, Coq 8.16 or later)