# Installation

## Requirements

- Python 3.11 or higher
- An internet connection (to reach the AXLE API)

## Install from PyPI

```
pip install axiom-axle
```

## Install from Source

```
git clone https://github.com/AxiomMath/axiom-lean-engine.git
cd axiom-lean-engine
pip install -e .
```

or

```
pip install git+ssh://git@github.com/AxiomMath/axiom-lean-engine
```

## Development Installation

For development, install with dev dependencies:

```
git clone https://github.com/AxiomMath/axiom-lean-engine.git
cd axiom-lean-engine
make setup-env
```

This will:

- Install all dependencies (including dev tools)
- Set up pre-commit hooks
- Install the package in editable mode

## Verify Installation

```
# Check CLI
axle --version

# Check Python package
python -c "from axle import AxleClient; print('OK')"
```

## Next Steps

See the [Quick Start](https://axle.axiommath.ai/v1/docs/quickstart/) tutorial to get started.