🔗 Formal Proving
A formal proof is a sequence of mathematical statements that are used to demonstrate the logical necessity of a given conclusion.
- Morpho Labs has its own internal formal prover.
- Formal ProvedScopeDate$MORPHO tokensAugust 2022Data StructureJanuary 2023
- Yellow Paper: Published there: yellowpaper.morpho.xyz Morpho formalizes the protocol and put the findings inside the Yellow Paper.