Update README.md

formal-land · Nov 1, 2024 · 609fe2a · 609fe2a
1 parent 6f64096
commit 609fe2a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/coq/CoqOfSolidity/contracts/scl/mulmuladdX_fullgen_b4/README.md b/coq/CoqOfSolidity/contracts/scl/mulmuladdX_fullgen_b4/README.md
@@ -44,9 +44,9 @@ cd CoqOfSolidity/
 make # Compile all the proofs. This may take a few minutes.
 ```
 
-## 📰 Blog post
+## 📰 Blog posts
 
-For more information, you can read our blog post:
+For more information, you can read our associated blog posts:
 
 - [🪁 Enhancements to coq-of-solidity – 1](https://formal.land/blog/2024/10/16/coq-of-solidity-enhanced-version-1)
 - [⚈ Verification of the Smoo.th library – 1](https://formal.land/blog/2024/10/21/verification-smooth-library-1)