Merge pull request #59 from Squads-Protocol/add-certora-audit

add certora audit
Squads-Protocol · Nov 13, 2023 · cfa18ac · cfa18ac
2 parents aefc7c9 + 3ce8092
commit cfa18ac
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/certora_security_report_and_formal_verification.pdf b/certora_security_report_and_formal_verification.pdf