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.
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).