GitHub repository: Certora/static-a-token-v3
Primary language: Solidity
Description: Static aTokens for Aave v3, based on value increase (exchange rate based) instead of balance increase