user avatar
Verity
@verityclient
The Provable Consensus Client — a formally verified @leanEthereum client built with @leanprover
verityclient.com
Joined April 2026
2
Following
56
Followers
@verityclient hasn’t posted
When they do, their posts will show up here.