F*: Introduction
Start learning F* with a quick overview and Hello World.
F* — Introduction
Overview
This is a starter page for F*.
Hello World
// Hello World in F*
Hello, World!
What you'll learn
- How to run F*
- Basic syntax style
- Next steps (lessons & references)
Next
Open the Syntax & Cheat Sheet page for this language.