We are excited to announce that we are working with @CurveFinance to formally verify LP safety for 2-coin StableSwap!
These are machine-checked mathematical proofs in higher order logic, not an audit.
First proofs are green, with more in the pipeline! 🧵 1/
Show more
