外部精选
软件工程
#开发者实时流归纳构造演算PDF文档发布
来源标题：The Calculus of Inductive Constructions [pdf]
一份关于归纳构造演算（Calculus of Inductive Constructions）的PDF文档已发布。该文档以PDF格式提供，内容涉及这一类型论与证明助手基础理论。
Hacker News 最新whoishiding2026/11/14 · 今天1 分钟阅读
这个来源的 RSS 只提供摘要，下面是原文导语；完整论述请点「打开原文」。
一份关于归纳构造演算（Calculus of Inductive Constructions）的PDF文档已发布。该文档以PDF格式提供，内容涉及这一类型论与证明助手基础理论。
本条为导读摘要，完整论述请以原文为准。