Verity
@verityclient
The Provable Consensus Client — a formally verified @leanEthereum
client built with @leanprover
参加 April 2026
8 フォロー中 116 ファン
While formalizing the @leanEthereum spec in @leanprover, we found several critical bugs hiding in the spec itself.
Here's what we found 🧵
