asb's corner
home /
cv /
blog /
misc
now
::
Search
Theme
Tag
lean
2025-12-19
Proving bounds for the Randomized MaxCut Approximation algorithm in Lean4
Search