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 ๐งต
