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.