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

Version 1.3.2 (2023-08-27 16:21, Coq 8.17 or later)