https://pypi.org/project/leanfran/ Recent updates to the Python Package Index for leanfran en https://pypi.org/project/leanfran/0.6.0/ Run Lean 4 code as Python: a runtime for code generated from Lean's IR, Lean blocks in Python files, and pydantic models for Lean types Fri, 13 Nov 2026 06:57:22 GMT