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

Version 1.1 (2020-10-14 10:24, Coq 8.12)