Machine-Checked Devcon Week, an online hackathon, 2 to 7 November.
The work: you implement pieces of Ethereum's networking layer in Lean 4 and prove properties of what you build. You pick real protocol tasks from the leanp2p repo. Every proof is checked by Lean's kernel.
Any level counts, and participation is free. Participation is curated, so your work gets real attention. You should be comfortable writing code.
Prizes: a $1,000 prize pool, more being confirmed. Code closes 7 November 23:59 UTC, participant videos by 15 November 23:59 UTC, results by 30 November.
Apply by 1 November. Join the Discord, acceptances are announced there:
discord.gg/SxvYP4vvg
invisible.garden/machine-che…