Update README.md

facebook · Dec 14, 2024 · 6a0c5f8 · 6a0c5f8
1 parent fe98bcf
commit 6a0c5f8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/examples/README.md b/examples/README.md
@@ -54,7 +54,7 @@ where:
 
 * **sequence length** is the term of the Fibonacci sequence to compute. Currently, this must be a power of 2. The default is 1,048,576 (same as 2<sup>20</sup>).
 
-For example, the following command will generate and very a proof for computing a Fibonacci sequence up to 1024th term.
+For example, the following command will generate and verify a proof for computing a Fibonacci sequence up to 1024th term.
 ```
 ./target/release/winterfell fib -n 1024 
 ```
@@ -120,4 +120,4 @@ This example also illustrates how an execution trace can be built using multiple
 License
 -------
 
-This project is [MIT licensed](../LICENSE).
+This project is [MIT licensed](../LICENSE).