New Foundations is consistent | Consistency of New Foundations

此网站属于LeanProver社区，主要提供与Lean定理证明器（一个用于数学定理证明的交互式定理证明器）相关的资源和信息，包括文档、教程、社区论坛和工具。该网站旨在为数学家、计算机科学家和其他对定理证明感兴趣的人提供支持和交流平台。