Vyper joins The DAO Fund's ETHSecurity Initiatives to fund full formal verification of its compiler - 𝕏/@vyperlang
Vyper joins The DAO Fund's ETHSecurity Initiatives to fund full formal verification of its compiler - 𝕏/@vyperlang 🔗 LinkedIn · Discord · Leviathan · Source 🗺️ Vyper · Fund · DAO 🕵️ @gerrithall via 𝕏
The excerpt is quoted from a public Telegram channel, which owns its text.