Sunday, October 25, 2026 4,350 lists 78,100 records on file
List your app or device
MOBILE US PRESSTECH, ON THE RECORD.
AppsAIDevicesGalaxyChipsCompareStories Every list
  1. Home
  2. Lean
  3. Pricing
Pricing · 2026

Lean pricing

1 plan on the record · a free plan

See today's prices

Every plan

Lean 4

Free

Open-source programming language and proof assistant · no paid plans stated

Read 9 Oct 2026 · lean-lang.org