fricoben
@Fricoben
Securing smart contracts with formal verification
Cofounder (@veritylab)
Joined April 2020
933 Following 5.3K Followers
LFG Labs received a grant from the @ethereumfndn to build Verity.
Verity is a formally verified smart contract compiler written in Lean 4 🧵
