Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

(abhamra.com)

27 points | by todsacerdoti 4 days ago ago

No comments yet.