asb's corner
home ~
resume ~
blog
Search
No results
1 result
$NUMBER results
Entries tagged :: lean
2025-12-19
Proving bounds for the Randomized MaxCut Approximation algorithm in Lean4