Lean Articles

Page 1 of 1 (2 articles)

2/2/2026 • EN

Calling Lean Functions As Python Functions

Introducing a Python library for seamless interoperability with the Lean theorem prover, allowing Lean functions to be called directly from Python code.

Interoperability lean metaprogramming Python serialization

Philip Zucker

9/2/2025 • EN

A Lean Syntax Primer

An opinionated syntax primer for the Lean programming language, covering definitions, types, and running code.

lean nat programming language syntax type inference

Dan Abramov

Lean Articles

Calling Lean Functions As Python Functions

A Lean Syntax Primer

Select Language