Closed remedcu closed 2 weeks 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 (cherry picked from aa14911666deb13cdbbe37c37253a55918525437)
CHANGELOG
Closes #785
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 (cherry picked from aa14911666deb13cdbbe37c37253a55918525437)Closes #785