A computer-assisted Lean 4 proof of the Berge–Fulkerson C(24) theorem
说明与用途
该项目提供了一个基于 Lean 4 的计算机辅助证明，验证了 Berge–Fulkerson C(24) 定理，能够快速验证复杂的组合命题。使用时，只需将仓库添加到 CI 流水线，执行 lean，并将结果集成到现有测试中即可。项目在检查许可证、依赖健康和文档完整性后即可投入生产使用。
实际用途
A computer-assisted Lean 4 proof of the Berge–Fulkerson C(24) theorem may be useful when its README and activity match a concrete workflow.
限制与审查说明
Medium: useful for prototypes or internal workflows, with dependency and maintenance checks before production.
- 来源: hackernews
- 记录日期: 2026-09-09T12:02:22.000Z