# formal verification

By [Mahesh](https://paragraph.com/@maheshmannava) · 2022-12-18

---

formal verification using certora prover

---

*Originally published on [Mahesh](https://paragraph.com/@maheshmannava/formal-verification)*