# Formal Verification

![](https://github.com/aquariusloan/aquarius-docs/blob/master/.gitbook/assets/Audit_Certificate_Aquarius%20Finance.png)