Skip to content

Commit 3022faa

Browse files
authored
Update README.md
1 parent 4f894a5 commit 3022faa

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -585,7 +585,7 @@ See full [report](OpenZeppelin%20Dual%20Governance%20Re-Audit%20Report%2002-2025
585585

586586
### 02-2025 Runtime Verification Dual Governance Formal Verification
587587

588-
Lido has engaged Runtime Verification to formally verify the correctness and safety properties of the smart contracts that comprise the Lido Dual Governance mechanism.
588+
Lido has engaged Runtime Verification to formally verify the correctness and safety properties of the smart contracts that comprise the Lido Dual Governance mechanism.
589589

590590
See full [report](Runtime%20Verification%20Dual%20Governance%20Formal%20Verification%20Report%2002-2025.pdf) for more details.
591591

0 commit comments

Comments
 (0)