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

版本 1.0 (2021-11-01 19:02:58 \(UTC+00\), Coq 8.9.1)