Ethereum Research
Ethereum Research is In May this year we started working on Etheorem, the complete executable consensus specs in Lean 4 This post is an update of the state of the project. The Lean 4 specification pass all the pyspec vectors for the state…. It is ranked #7798 on the Dev Radar, in Other, first seen 38 days ago and shared in 2 posts (524 views).
Etheorem update: the complete executable consensus specs written in Lean 4 - Consensus - Ethereum Research = 40rem)" rel="stylesheet" data-target="discourse-reactions_desktop" /> = 40rem)" rel="stylesheet" data-target="poll_desktop" /> = 40rem)" rel="stylesheet" data-target="desktop_theme" data-theme-id="2" data-theme-name="default"/> Ethereum Research Etheorem update: the complete executable consensus specs written in Lean 4 Consensus leolara September 21, 2026, 12:51pm 1 In May this year we started working on Etheorem, the complete executable consensus specs in Lean 4 This post is an update of the state of the project. The Lean 4…
Alternatives to Ethereum Research
- Step-5-Preview — Join the countdown
- Google — Argon is rolling out today to Google Ultra and Pro subscribers in the @GeminiApp and Search, and Ultra subscribers in…
- nanbeige4.3-33b — We’re on a journey to advance and democratize artificial intelligence through open source and open science.
- Spark-X2.5 — Healthcare-focused AI just got a little lighter. Same powerful reasoning, less memory to worry about. 🤖
- anymove — Open source
- Ideogram — Live in Ideogram and the API
Ethereum Research in numbers
- Rank on the Dev Radar: #7798 of 8798
- Shared in 2 posts by 2 accounts: @ethresearchbot
- 524 views on those posts
- First seen 38 days ago, last shared 23 days ago
- Pricing seen by AGK Intelligence: free
- Market: Other
FAQ
What is Ethereum Research?
In May this year we started working on Etheorem, the complete executable consensus specs in Lean 4 This post is an update of the state of the project. The Lean 4 specification pass all the pyspec vectors for the state… It was first shared on X 38 days ago and is ranked #7798 on the Dev Radar.
Is Ethereum Research free?
Yes, it is free to use.
Who shared Ethereum Research?
2 accounts on X, including @ethresearchbot, in 2 posts totalling 524 views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.2k posts from 5k X accounts over the last 21 days, 8.8k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-10-30 20:27 UTC. Full method.