Skip to content
Mark Gritter edited this page Nov 30, 2021 · 119 revisions
Clone this wiki locally

Welcome to the F* wiki! This wiki contains additional, usually more in-depth, technical documentation on top of the F* tutorial. If you add a new page, please add it to the table of contents below!

This is a best effort thing, so it might be unpolished, inconsistent, or out of date. Please help us improve it! This wiki might one day expand into a full-fledged "reference manual", or something. Use the search feature of GitHub or table of contents on the right to navigate.

Beginners guide

Structuring your project; modularity

More advanced topics

Language design

Tips and tricks when using F★

Hacking on F★ itself!

Proposals

Tactics proposals

Low* proposals

List of project topics on F*

Ongoing work on Steel

Notes