Calling Lean Functions As Python Functions
Summary
This blog post introduces leancall, a bridge to run Lean functions from Python and interoperate Lean and Python code. It demonstrates practical AI-oriented examples such as using Lean to drive a Gym CartPole environment and to render images via a Lean-based ray tracer, along with notes on serialization, parsing, and performance considerations.