From 603cf07a44a0847475ab1bdfd5d962164b4cbc04 Mon Sep 17 00:00:00 2001
From: Jakob von Raumer <jakob@von-raumer.de>
Date: Sun, 12 Nov 2023 11:11:48 +0100
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 58689ed..b10d1ef 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # Aegis 
 
-allows to verify Sierra programs in Lean 4.
+A tool for the verification of Cairo code.
 
 ## Usage
 
@@ -20,7 +20,7 @@ aegis_prove "foo::foo::double" := fun _ a ρ => by
 
 -- Check that we have verified all functions exported by the Sierra file, otherwise
 -- print an error message listing the missing proofs
-sierra_complete
+aegis_complete
 ```
 
 Further example usage can be found in `Aegis.Tests.Commands`.