MetaMorpho is an open-source, immutable, heavily audited code base that has now also been formally verified using Certora. Formal verification is a staple of Morpho's security framework. Not long ago, we shared the formal verification of Morpho Blue, and today, we are doing the same for MetaMorpho. Used effectively, formal verification can help develop higher quality and, most importantly, more secure smart contracts. That is why Morpho Labs has invested significant time and resources in...