ether
news
a front page for the Ether
About
Subscribe
☾
Submit a story or source
Suggesting a link for:
SizzLean: Lean 4 SSZ library with formal verification of codec correctness
Link *
Why it's notable
(optional)
Your email *
(used only to follow up about your submission, never shown publicly)
Website
Suggest it