'
QuickChick: Property-Based Testing in Coq
Volume 4
QuickChick: Property-Based Testing in Coq
Leonidas Lampropoulos and Benjamin C. Pierce
Read
Download
Version 1.3.3 (2024-12-27 01:37, Coq 8.19.2 or later)