文件名称:Certified Programming with Dependent Type
文件大小:1.74MB
文件格式:PDF
更新时间:2019-07-19 08:10:01
Certified Programming, language, automated reasoning
学习coq用的书
文件名称:Certified Programming with Dependent Type
文件大小:1.74MB
文件格式:PDF
更新时间:2019-07-19 08:10:01
Certified Programming, language, automated reasoning
学习coq用的书