Certora/static-a-token-v3
Static aTokens for Aave v3, based on value increase (exchange rate based) instead of balance increase
SolidityMIT
Static aTokens for Aave v3, based on value increase (exchange rate based) instead of balance increase
SolidityMIT