F* — Cheat Sheet

Quick info

• Slug: f
• Extensions: -

Hello World

// Hello World in F*
Hello, World!

Notes

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