# content
Proving bounds for the Randomized MaxCut Approximation algorithm in Lean4 (by aphaelion) — discussion

#formalmethods