Installation

Prerequisites

First, install coq-lsp with the required dependencies:

# Install dependencies
opam install lwt logs coq.8.20.0

# Pin the correct version of coq-lsp
opam pin add coq-lsp https://github.com/ejgallego/coq-lsp.git#v8.20

Install Pytanque

We recommend using a virtual environment. With uv:

uv venv
uv pip install -e .
source .venv/bin/activate

Or with standard Python:

python -m venv .venv
source .venv/bin/activate
pip install -e .