Update README.md

README.md

@@ -8,8 +8,6 @@ Paper link: https://openreview.net/forum?id=NpytqGYVPa&noteId=NpytqGYVPa
 
 This repo contains models and web server that uses LLMs to assist theorem proving in PVS.
 
-PVSgym can be donwloaded from this repo: https://github.com/manoja328/expmath/tree/main/pvspy
-
 Put all model files that follows this tree:
 ```
 pvs_sft5
@@ -44,4 +42,11 @@ curl -X POST http://localhost:8000/recommend \
     "prev_commands": ["None", "None", "None"],
     "top_k": 3
   }'
-```
+```
+
+
+## PVSgym
+
+PVSgym is not stricly required to run this but we will later add a demo that uses both. 
+
+PVSgym repo: https://github.com/manoja328/expmath/tree/main/pvspy