Update README.md

FStarLang · Jul 19, 2024 · 52ad003 · 52ad003
1 parent 69085ab
commit 52ad003
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -25,7 +25,7 @@ against sample proofs collected from the dataset. -->
 
 # Preliminaries
 
-1. Download and exatract `helpers.zip` from the release. **We assume the extracted `helpers` directory is present in the root of this repository.** (Change the parameter of `--dataset_dir` in the evaluation script accordingly.)
+1. Download and extract `helpers.zip` from the release. **We assume the extracted `helpers` directory is present in the root of this repository.** (Change the parameter of `--dataset_dir` in the evaluation script accordingly.)
 2. Add `helpers/bin` to your `PATH`, i.e., `export PATH=<PATH TO THE EXTRACTED HELPER DIRECTORY>/bin:$PATH`.
 3. Make sure `fstar.exe --version` works, and the output is `F* 2023.09.03~dev`.
 
@@ -68,4 +68,4 @@ python evaluate.py \
    --output_dir OUTPUT_DIR (optional) \
    --output OUTPUT_FILE (Only the name of the output file, optional)
 ```
-The `evaluate.py` script will output the evaluation results in the `OUTPUT_DIR/OUTPUT_FILE` if `OUTPUT_DIR/` is provided, otherwise it will print the results on the console.
+The `evaluate.py` script will output the evaluation results in the `OUTPUT_DIR/OUTPUT_FILE` if `OUTPUT_DIR/` is provided, otherwise it will print the results on the console.