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

Version 1.3.4 (2025-01-06 19:54, Coq 8.20 or later)