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

版本 1.0 (2020-08-21 10:38:43 \(UTC+00\), Coq 8.9.1)