Lean — Cheat Sheet

Quick info

• Slug: lean
• Extensions: -

Hello World

// Hello World in Lean
Hello, World!

Notes

• This is a starter reference to avoid empty pages.
• You can expand it with real syntax, examples, and trusted links.