Skip to content

feat(coding-theory): integrate CompPoly's executable Guruswami-Sudan decoder - #574

Open
olympichek wants to merge 7 commits into
Verified-zkEVM:mainfrom
formal-land:guruswami-sudan
Open

feat(coding-theory): integrate CompPoly's executable Guruswami-Sudan decoder#574
olympichek wants to merge 7 commits into
Verified-zkEVM:mainfrom
formal-land:guruswami-sudan

fix: adapt executable GS decoder to Lean 4.31 / CompPoly v4.31.0

077d153
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 warnings
summarize
succeeded Jul 28, 2026 in 1m 27s