A computer-assisted Lean 4 proof of the Berge–Fulkerson C(24) theorem(github.com)
2 pointsby frjnn6 hours ago1 comment
  • frjnn6 hours ago
    [flagged]