AI 技术知识库
Search
搜索
暗色模式
亮色模式
阅读模式
探索
Home
❯
具体技术
❯
Theorem Proving
Theorem Proving
2026年11月04日
1分钟阅读
Thomas Hales：通过 Lean 检查之后，还需要相信什么？
关系图谱
反向链接
Thomas Hales：通过 Lean 检查之后，还需要相信什么？
具体技术