From 330d03d75e30b11fe73f586f088baa70f69d61d6 Mon Sep 17 00:00:00 2001
From: omahs <73983677+omahs@users.noreply.github.com>
Date: Thu, 9 Feb 2023 22:35:37 +0100
Subject: [PATCH] Fix: typos

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 3926b801..310fc461 100644
--- a/README.md
+++ b/README.md
@@ -33,7 +33,7 @@ Horus is a command-line formal verification tool for
   through an example step-by-step.
 * [FAQ](#faq) - What is Cairo? What is Horus? When should I use Horus? Why should
   I use Horus? All these answered and more!
-* [Usage](#usage) - Exhastive reference information on the CLI options, among
+* [Usage](#usage) - Exhaustive reference information on the CLI options, among
   other things.
 * [Internals](#internals) - In which we explain why things are implemented the
   way they are, and discuss details relevant to the development of Horus. This
@@ -90,7 +90,7 @@ installed at all. Follow the instructions below to install the needed version.
   ```
   In the above, `horus-py39` is just a name we've chosen for this environment.
 
-3.  Activate the created environmment:
+3.  Activate the created environment:
 
   ```console
   conda activate horus-py39