Coq教程The Coq Proof Assistant

【文件属性】：

文件名称：Coq教程The Coq Proof Assistant

文件大小：197KB

文件格式：PDF

更新时间：2022-09-29 05:10:31

coq

Coq教程The Coq Proof Assistant，作者：Gérard Huet, Gilles Kahn and Christine Paulin-Mohring