From 4a06e8b09f48825458458aeacbe1622c26df4461 Mon Sep 17 00:00:00 2001
From: MRHMisu <mrhmisu@gmail.com>
Date: Sun, 9 Jun 2024 13:41:38 -0700
Subject: [PATCH] Remove typos from README

---
 README.md | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/README.md b/README.md
index e11d276..6e2f9ee 100644
--- a/README.md
+++ b/README.md
@@ -52,7 +52,7 @@ the following requirements need to be installed as prerequisites:
 ### Python Package Installation
  -  python ``version >== 3.10`` is required. To check python version try ``python --version``.
    - Clone the repository and install required packages
-  ```
+  ``` bash
   git clone https://github.com/Mondego/dafny-synthesis.git
   cd dafny-synthesis
   python -m venv venv
@@ -62,6 +62,9 @@ the following requirements need to be installed as prerequisites:
 ### Update `env.config` file
 Make sure to update the `env.config` file before executing the prompt scripts.
 
+``` bash
+nano env.config
+```
 ``` yml
 [DEFAULT]
 # OpenAI API KEY
@@ -91,25 +94,25 @@ spec_shot_count = 3
 code_shot_count = 5
 ```
 
-## Executing Prompts
+### Executing Prompts
   - 📜 RQ1-[Contextless-Prompting]
 ```bash 
-  cd dafny-synthesis/code
+  cd Scripts
   python contextless_prompt.py
 ```
   - 📜 RQ2-[Signature-Prompting]
 ```bash 
-  cd dafny-synthesis/code
+  cd Scripts
   python signature_prompt.py
 ```
   - 📜 RQ3-[Dynamic-Few-Shot-Prompting]
 ```bash 
-  cd dafny-synthesis/code
+  cd Scripts
   python dynamic_few_shot_prompt.py
 ```
 
 
-### Citation
+## Citation
 ```bibtex
 @article{MRHMisuDafnyFSE24,
     title = {Towards AI-Assisted Synthesis of Verified Dafny Methods},