Lean Articles

Page 1 of 1 (3 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

1/30/2026 • EN

Scrum is Dead

Argues that traditional Scrum methodologies are obsolete for AI-powered development teams, advocating for leaner, more adaptive processes.

agile methodology ai development lean Scrum Software Process

Shane Lee

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

Scrum is Dead

A Lean Syntax Primer

Select Language

We use cookies