quick start spelling

Certora · Dec 7, 2023 · 9f280f4 · 9f280f4
1 parent 4eb5648
commit 9f280f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.md b/index.md
@@ -1,4 +1,4 @@
-## Quickstart - install and run Prover
+## Quick start - install & run Prover
 
 <div class="display:flex;flex-direction:column;width:100%;align-items:center">
     <iframe width="560" height="315" src="https://www.youtube.com/embed/c4Joys3ZN1s?si=3OUWCdE-kWZPT_Ke" title="YouTube video player" frameborder="0" allowfullscreen></iframe>