algorithms

• 2025-12-19 - Proving bounds for the Randomized MaxCut Approximation algorithm in Lean4