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