Merge pull request #542 from jiep/patch-1

Update README.md
cryspen · Aug 30, 2024 · d8644b0 · d8644b0
2 parents 84c5d87 + baac801
commit d8644b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/formal_verification/vale-crypto/README.md b/formal_verification/vale-crypto/README.md
@@ -1,6 +1,6 @@
 # Vale Crypto in libcrux
 
-##Vale: Verified Assembly Language for Everest
+## Vale: Verified Assembly Language for Everest
 
 Vale is a tool for constructing formally verified high-performance assembly language code, with an emphasis on cryptographic code. It uses existing verification frameworks, such as Dafny and F*, for formal verification. It supports multiple architectures, such as x86, x64, and ARM, and multiple platforms, such as Windows, Mac, and Linux. Additional architectures and platforms can be supported with no changes to the Vale tool.
 Each assembly implementation in Vale is verified for: