fixed typos

coinbase · Mar 15, 2024 · 82ddf91 · 82ddf91
1 parent 12aa21b
commit 82ddf91
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/README.md b/certora/README.md
@@ -1,6 +1,6 @@
 # How to run Certora Prover
 
-1. Get certora key by fillin in the form on [Certora's website](https://www.certora.com/signup?plan=prover). YOu sghould get an email with the key and all necessary instructions.
+1. Get certora key by filling in the form on [Certora's website](https://www.certora.com/signup?plan=prover). You should get an email with the key and all necessary instructions.
 2. Make sure to install everything that is mentioned in [instructions](https://www.certora.com/signup?plan=prover).
 3. To run the spec use the following command in your terminal from the root of your project:
 ```