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