jzshischolar

A Python interface to the Lean 4 kernel — designed for AI–Lean interactive automated theorem proving and related research. PyLeaner provides a production-ready bridge between Python and Lean's internals.

PyLeaner bridges Python and Lean 4 so AI researchers can query formal proof state, extract theorem definitions, and run parallel proof-checking workloads from Python code.

No description.