Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

1 points | by todsacerdoti 12 hours ago

No comments yet