Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

 (abhamra.com)

27 points | by todsacerdoti 3 days ago

0 comments