Welcome to lean-server’s documentation!¶ The lean-server package provides a FastAPI-based server for running Lean proof verification. Contents: lean_server lean_server package Indices and tables¶ Index Module Index Search Page