GitHub repository: Certora/aave-a-token-with-delegation
Primary language: Solidity
Description: Aave AToken with delegation capabilities