GitHub repository: Certora/ERC20Example
Primary language: Solidity
Created: 2022-07-22T14:43:06Z
Description: Example verification for ERC20 contracts