GitHub repository: Certora/LiquidityPoolExample
Primary language: Solidity
Created: 2022-07-22T14:58:45Z
Description: Example Certora verification for a simple multi-contract system