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



 

Version 1.4 (2022-03-14 05:33:35 \(UTC+00\), Coq 8.9.1)