Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4(abhamra.com)55 points by todsacerdoti 10 months ago | 3 comments