外部精选
软件工程
#开发者实时流论文提出将证明助手作为平台以构建下一代验证器
来源标题：Proof Assistant as Platform: Building the Next Generation of Verifiers [pdf]
一篇题为《Proof Assistant as Platform: Building the Next Generation of Verifiers》的论文提出，把证明助手当作平台来构建下一代验证器。该论文以 PDF 形式发布，具体架构与实现细节需查阅原文。
Hacker News 最新matt_d2026/11/13 · 今天1 分钟阅读
这个来源的 RSS 只提供摘要，下面是原文导语；完整论述请点「打开原文」。
一篇题为《Proof Assistant as Platform: Building the Next Generation of Verifiers》的论文提出，把证明助手当作平台来构建下一代验证器。该论文以 PDF 形式发布，具体架构与实现细节需查阅原文。
本条为导读摘要，完整论述请以原文为准。