Closed remedcu closed 2 months ago
This PR adds the Audit Report conducted on the Safe Library Migration Contracts by the Certora Team and updates the CHANGELOG with the contract addresses.
CHANGELOG
This PR adds the Audit Report conducted on the Safe Library Migration Contracts by the Certora Team and updates the
CHANGELOG
with the contract addresses.