frap 程序形式化推理.zip 上传者：sjzbxyz 2020-07-22 16:01:21上传 ZIP文件 464.26KB 热度 17次 frap, 程序形式化推理 程序的正式原因这是一个正在进行中的开源书 by Adam Chlipala 同时介绍了 proof证明助手和技术证明程序正确性的技巧。 也就是说，游戏是完全严格的，机器检查数学证明，显示程序符合他们的规范。只要运行 make 来构建所有 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
