API Documentation
This section contains the detailed API documentation for the lean-runner packages.
Client API
The client library provides a simple and efficient way to interact with the Lean server.
Server API
The server provides the core functionality for running Lean proofs and managing results.