Merge pull request #15 from Certora/certora-squash

fixing formatting and typos in v1.5 and adding report for v3
bgd-labs · Sep 27, 2023 · 18f2f80 · 18f2f80
2 parents 748858a + be36cc4
commit 18f2f80
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/audits/Certora_FV_Report.pdf b/audits/Certora_FV_Report.pdf
diff --git a/audits/Formal_Verification_Report_stk_v1_5.pdf b/audits/Formal_Verification_Report_stk_v1_5.pdf
diff --git a/audits/Formal_Verification_Report_stk_v3.pdf b/audits/Formal_Verification_Report_stk_v3.pdf