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

Version 1.3.3 (2024-04-27 10:37, Coq 8.17.1 or later)