Understanding Whole Program Paths and Path Profiling

Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4