uv setup and add python version requirements to README

README.md

@@ -20,14 +20,22 @@ If you use CoqPyt in an article, please cite:
 
 ## Installation
 
+[Python](https://www.python.org/) must be installed on version >= 3.11.
+
 [coq-lsp](https://github.com/ejgallego/coq-lsp) must be installed on version >= 0.1.7. Follow the installation instructions provided [here](https://github.com/ejgallego/coq-lsp#%EF%B8%8F-installation).
 
 ```bash
 pip install -r requirements.txt
+python -m pip install -e .
 ```
 
+### uv installation
+
+In alternative, use [uv](https://github.com/astral-sh/uv) to setup the project and create a virtual environment.
+
 ```bash
-python -m pip install -e .
+uv sync --dev
+uv pip install -e .
 ```
 
 ## Usage

coqpyt/coq/lsp/structs.py

@@ -109,13 +109,15 @@ def __init__(
         goals: Optional[GoalConfig] = None,
         error: Any = None,
         program: List = [],
+        range: Range = None,
     ):
         self.textDocument = textDocument
         self.position = position
         self.messages = messages
         self.goals = goals
         self.error = error
         self.program = program
+        self.range = range
 
     def __repr__(self):
         res = "\n"

pyproject.toml

@@ -0,0 +1,15 @@
+[project]
+name = "coqpyt"
+version = "0.0.1"
+description = "CoqPyt: a Python client for coq-lsp"
+readme = "README.md"
+requires-python = ">=3.11"
+dependencies = [
+    "packaging>=25.0",
+    "pyyaml==6.0.0",
+]
+
+[dependency-groups]
+dev = [
+    "pytest==7.3.1",
+]