coq's art interactive theorem proving and program development

【文件属性】：

文件名称：coq's art interactive theorem proving and program development

文件大小：2.38MB

文件格式：PDF

更新时间：2014-12-02 18:45:38

coq interactive theorem proving

coq's art interactive theorem proving and program development