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

版本 1.0 (2022-03-14 05:33:38 \(UTC+00\), Coq 8.9.1)