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

Version 2.0 (2026-01-07 13:37, Coq 9.0.0 or later)