Lean docs

Examples

Saved locally
examplesHello.lean
Loading editor…
Lean 4·Browser runtime
No output yet

Run your program to see its output here. ⌘ ↵

First run downloads Lean (~101 MB). Cached for next time.

Settings

Appearance

Lesson progress

0 of 8 lessons completed on this device.

Keyboard shortcuts

Run current file⌘ / Ctrl + Enter
Search the current section⌘ / Ctrl + K
Save workspaceAutomatic
Insert a Unicode symbol\to + Enter

Support leanlab

Donate Zcash to support the project.

About this workspace

Lean 4.33.0-pre runs in WebAssembly on your device. Includes the core library. Files are independent; Mathlib and custom imports aren’t bundled. A desktop browser is recommended.

Powered by the community’s Lean WASM runtime