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

Version 1.4.0 (2025-08-24 14:33, Coq 9.0.0 or later)