Installing ludics

Standard Install

To install ludics with uv:

$ uv add ludics

To install ludics with pip:

$ python -m pip install ludics

Install directly from github

To install the latest version directly from github:

$ uv add git+https://github.com/hefos/ludics.main.git

or with pip

$ python -m pip install git+https://github.com/hefos/ludics.main.git

To install a specific branch or tag:

$ uv add git+https://github.com/hefos/ludics.main.git@main

or with pip

$ python -m pip install git+https://github.com/hefos/ludics.main.git@main