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

Version 1.3.2 (2023-03-25 11:52, Coq 8.16 or later)