Skip to content

installation.md

Latest commit

 

History

History
62 lines (44 loc) · 1.01 KB

installation.md

File metadata and controls

62 lines (44 loc) · 1.01 KB
Raw

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 tutorial to get started.