GitHub repository: Certora/aave-stk-gov-v3
Primary language: Solidity
Description: Next iteration of Aave stk tokens (Safety Module), improving slashing management, cooldown and other technical aspects