frjnn/bf-c24

Lean formalization of the Berge–Fulkerson C(24) theorem, with exhaustive finite verification and reproducible proof evidence.

2 best points · 0 comments · 1 Hacker News post · 1 GitHub stars · View on GitHub

Hacker News discussions

• A computer-assisted Lean 4 proof of the Berge–Fulkerson C(24) theorem (2 points, 0 comments, by frjnn, 2026-09-09)