API Reference LeanLsp v#0.1.0

Public entry point for the LeanLsp v0.1.0 runtime preview.

Behaviour for Lean-capable runtime implementations.

Normalized runtime configuration for LeanLsp.

Docker-backed implementation of LeanLsp.Runtime.