' 函数式算法验证
Andrew W. Appel



 

Version 1.4 (2021-11-01 19:02:55 \(UTC+00\), Coq 8.9.1)