Installation¶

Prerequisites¶

First, install coq-lsp with the required dependencies:

# Install dependencies
opam install lwt logs coq-lsp

# Or install one of the dev versions of coq-lsp, e.g., for Coq.8.20
opam install lwt logs coq.8.20.0
opam pin add coq-lsp https://github.com/ejgallego/coq-lsp.git#v8.20

Install Pytanque¶

Install from GitHub (Recommended)¶

pip install git+https://github.com/llm4rocq/pytanque.git

Development Installation¶

We recommend using uv.

Clone this repository
Use the project workflow:
```
cd pytanque
uv sync
```