Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4

(abhamra.com) by todsacerdoti | Dec 20, 2025 | 0 comments on HN