GitHub repository: Elpacos/aave-token-v3
Description: My contribution to the Certora aave-toke-v3 formal verification project.