Super HN - Super Hacker News

Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4 (abhamra.com) 3 points by todsacerdoti 3 days ago