Merge pull request #1265 from cryspen/franziskus/fix-announce-v011

Fix announce-v0.1.md
cryspen · Jan 21, 2025 · 3aad8b7 · 3aad8b7
2 parents 2d56f68 + 79d95b3
commit 3aad8b7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/blog/posts/announce-v0.1.md b/docs/blog/posts/announce-v0.1.md
@@ -54,6 +54,7 @@ few months.
 #### Hax in Action
 
 Over the past year, hax has proven its versatility in various projects:
+
 - [Verifying Bertie](https://cryspen.com/post/hax-pv/): A TLS 1.3 implementation, verified with the ProVerif backend
 - [Verifying ML-KEM](https://cryspen.com/post/ml-kem-verification): A post quantum cryptographic algorithm verified with the F\* backend
 - [Verifying Smart Contracts](https://github.com/hacspec/hacspec.github.io/blob/master/coqpl24-paper9-13.pdf): Leveraging the Rocq backend for enhanced security verification.