Post by @mariojo27901881 • Hey

I just voted "Yes" on "Security and Agility of Aave Smart Contracts via Continuous Formal Verification" https://snapshot.org/#/aave.eth/proposal/0x2883dabd