Sov's Crypto Grant Wire
Link
click to show
click to show
Machine-Checked Devcon Week: online Lean 4 hackathon on Ethereum networking, $1,000 prize pool
Invisible Garden is running an online hackathon during Devcon week, 2 to 7 November 2026, where participants implement pieces of Ethereum's networking layer in Lean 4 and prove properties of what they build. Participation is free and curated, with a cohort of under ten contributors; acceptances are announced in the Invisible Garden Discord. Applications close 1 November 2026.
🔗 Source
124 ·