Post by @sherwin • Hey

I just voted "Yes" on "Security and Agility of Aave Smart Contracts via Continuous Formal Verification" @AaveAave @SnapshotLabs