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