fricoben
@Fricoben
Securing smart contracts with formal verification
Cofounder (@veritylab)
加入 April 2020
923 正在關注 5.3K 粉絲
LFG Labs received a grant from the @ethereumfndn to build Verity.
Verity is a formally verified smart contract compiler written in Lean 4 🧵
