diff --git a/README.md b/README.md
index b6f22ab..c93efc2 100644
--- a/README.md
+++ b/README.md
@@ -55,7 +55,8 @@ An export of storage layout changes can be found [here](./storage.md)
 **External**
 
 - [SigmaPrime report](./audits/Sigma_Prime_Aave_Safety_Module_Security_Assessment_Report_v2.pdf)
-- [Certora report](./audits/Certora_FV_Report.pdf)
+- [Certora report v1.5](./audits/Formal_Verification_Report_stk_v1_5.pdf)
+- [Certora report v3](./audits/Formal_Verification_Report_stk_v3.pdf)
 - [Certora properties](./certora/specs/)
 
 **Procedures followed**
diff --git a/certora/report/Certora_FV_Report.pdf b/certora/report/Certora_FV_Report.pdf
deleted file mode 100644
index 201ca75..0000000
Binary files a/certora/report/Certora_FV_Report.pdf and /dev/null differ