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



 

Version 1.4 (2020年1月20日, Coq 8.9.1)