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

版本 1.0 (2020年1月20日, Coq 8.9.1)