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)