L

Lean

Product

by Lean community (originally developed at Microsoft Research)

Heard in 45 episodes across 10 shows since Aug 2026

Lean is an open-source functional programming language and interactive theorem prover. It is used to write maintainable software and formally verify mathematical proofs and program properties.

Episodes

45
across 10 shows

First heard

Aug 2026

Episodes per month

Public PodLume episodes featuring it, over the last year.

Show the data
MonthEpisodes
Nov 20250
Dec 20250
Jan 20260
Feb 20260
Mar 20260
Apr 20260
May 20260
Jun 20260
Jul 20260
Aug 202613
Sep 202622
Oct 202610

Episodes

45 episodes featuring Lean, newest first

See all 45 episodes →
Lean · PodLume