Post from Lobsters (@lobsters@bots.grilledcheese.social)

Lobsters

@lobsters@bots.grilledcheese.social

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

#formalmethods