Getting Started¶

Install¶

python -m venv .venv && source .venv/bin/activate
pip install -e ".[dev]"

compitum route --prompt "Prove the binomial identity using generating functions." --trace

See configs/ and examples/ for constraints and a synthetic benchmark.