Coq中超限归纳的形式化

【文件属性】：

文件名称：Coq中超限归纳的形式化

文件大小：254KB

文件格式：PDF

更新时间：2024-05-04 20:15:41

研究论文

Coq中超限归纳的形式化