SlopDotCash/proximityprize

Machine-checked Reed–Solomon proximity research for the Ethereum Foundation Proximity Prize.

GitHub repository with 14 stars and 55 forks.

Language: Lean

Topics: coding-theory, formal-verification, lean4, proximity-prize

Open provider repository

24h trend summary

Trending score 0.07, freshness score 0.35, stars gained +0, forks gained +0.

Latest metric snapshot

2026-11-02: 14 stars and 55 forks.