Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

https://abhamra.com/blog/randomized-maxcut/

#HackerNews #ProvingBounds #RandomizedMaxCut #ApproximationAlgorithm #Lean4 #HackerNews