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