Welcome to lean-runner’s documentation!

The lean-runner client package provides a Python client for interacting with the Lean Server API.

Contents:

• lean_runner
  • lean_runner package

Indices and tables

• Index

• Module Index

• Search Page