Interactive playground — each session gets its own Lean 4 server. Edits are ephemeral.

Loading...

Starting Lean server...

This takes ~30 seconds on first connection