Type Theory and Formal Proof
了解 Rob Nederpelt; Herman Geuvers 的《Type Theory and Formal Proof》（Type Theory and Formal Proof）：2007-02-22–2026-11-01 的 Hacker News 数据中有 15 次提及、13 位讨论者。阅读原文摘录、比较不同观点，将它加入你的书单。
分享到 XTHE HACKERBOOKS LIBRARY
Type Theory and Formal Proof
社区里的声音
最近 15 条来源记录提及不等于推荐。标签来自源数据的自动分类；请打开原始讨论核对上下文。
LLightMachine
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Rroadside_picnic
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Ggriffzhowl
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Ccrystal_revenge
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Ccodeismath
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Rroadside_picnic
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Bbaanist
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Hhaltist
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Mmridsole
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文HHirrolot
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Nnicklaf
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Ccodeismath
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Dd_tr
普通提及此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Rruneblaze
推荐 · 来源标签此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文Ttluyben2
普通提及此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文