GitHub repository: Certora/aave-erc20-listing
Primary language: Solidity
Description: Specs for verifying new asset (ERC20) listings on Aave