A computer-assisted Lean 4 proof of the Berge–Fulkerson C(24) theorem

2 pointsposted 4 hours ago
by frjnn
(github.com)

1 Comments

frjnn

4 hours ago

[flagged]