Lean — Introduction

Overview

This is a starter page for Lean.

Hello World

// Hello World in Lean
Hello, World!

What you'll learn

• How to run Lean
• Basic syntax style
• Next steps (lessons & references)

Next

Open the Syntax & Cheat Sheet page for this language.