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



 

Version 1.4 (2020-08-21 10:38:39 \(UTC+00\), Coq 8.9.1)