费马大定理证明项目 2024-05-01 本文介绍了在Lean中证明费马大定理的项目。费马大定理的证明过程促进了大量数学理论的发展，并对密码学和物理学等领域产生了重要影响。作者认为，将费马大定理的证明形式化，不仅可以推动计算机理解现代数学研究，还能促进数学家之间的合作。文章还介绍了该项目的蓝图、资金来源以及作者对未来进展的展望。 阅读更多 (leanprover-community.github.io) 41 未分类 定理证明 FLT 交互式证明 费马大定理 Lean 形式化证明
New Foundations is consistent | Consistency of New Foundations 2024-04-24 此网站属于LeanProver社区，主要提供与Lean定理证明器（一个用于数学定理证明的交互式定理证明器）相关的资源和信息，包括文档、教程、社区论坛和工具。该网站旨在为数学家、计算机科学家和其他对定理证明感兴趣的人提供支持和交流平台。 阅读更多 (leanprover-community.github.io) 39 未分类