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

Version 1.2.1 (2021-08-11 15:19, Coq 8.12 or later)