Example Certora verification for a simple multi-contract system
Why do you think that https://github.com/OpenZeppelin/openzeppelin-contracts is a good alternative to LiquidityPoolExample
Example Certora verification for a simple multi-contract system
Why do you think that https://github.com/OpenZeppelin/openzeppelin-contracts is a good alternative to LiquidityPoolExample