fricoben
@Fricoben
I let AI do formal verification at
Joined April 2020
824 Following 5.1K Followers
LFG Labs received a grant from the @ethereumfndn to build Verity.
Verity is a formally verified smart contract compiler written in Lean 4 🧵
Most Popular Users
