ether
news
a front page for the Ether
About
Subscribe
☾
Submit a story or source
Suggesting a link for:
Etheorem executable consensus specs in Lean 4 pass all pyspec vectors
Link *
Why it's notable
(optional)
Your email *
(used only to follow up about your submission, never shown publicly)
Website
Suggest it