F* pricing

F*

Apache 2.0 licensed · binaries for Windows, Linux, and Mac OS X · install via OPAM, Docker, or Nix, or build from source

Checked 11 Oct 2026