abhamra/verif-randomized-maxcut
1
0
Fork 0
mirror of https://github.com/abhamra/verif-randomized-maxcut synced 2026-11-12 00:41:00 -08:00
Code Issues Projects Releases Packages Wiki Activity
No description
2 commits 1 branch 0 tags 48 KiB
  • Lean 100%
Find a file
Exact
Arjun Bhamra 1cf35c198b
 Revise README with new title and content 
Updated project title and removed GitHub configuration instructions.
2025-12-20 00:10:00 -05:00
.github/workflows first push for randomized maxcut, basically done tho 2025-12-20 00:07:07 -05:00
RandMaxcut first push for randomized maxcut, basically done tho 2025-12-20 00:07:07 -05:00
.gitignore first push for randomized maxcut, basically done tho 2025-12-20 00:07:07 -05:00
lake-manifest.json first push for randomized maxcut, basically done tho 2025-12-20 00:07:07 -05:00
lakefile.toml first push for randomized maxcut, basically done tho 2025-12-20 00:07:07 -05:00
lean-toolchain first push for randomized maxcut, basically done tho 2025-12-20 00:07:07 -05:00
RandMaxcut.lean first push for randomized maxcut, basically done tho 2025-12-20 00:07:07 -05:00
README.md Revise README with new title and content 2025-12-20 00:10:00 -05:00

README.md

Verified Randomized MaxCut Approximation Algorithm

This was a fun experiment to see if I could codify in Lean a simple randomized algo from my graduate algorithms course. Enjoy!