Skip to content

F* pricing

1 plan read from fstar-lang.org

Visit fstar-lang.org

F*Free Apache 2.0 licensed · binaries for Windows, Linux, and Mac OS X · install via OPAM, Docker, or Nix, or build from source Read 11 Oct 2026 · fstar-lang.org

In short

F* has a free plan (F*).

What the alternatives costAll alternatives →

Tool	From	Free plan	Free trial
cvc5	—	Yes	No
Lean	—	Yes	No
Rocq	—	Yes	No
PVS	—	Yes	No
Alloy Analyzer	—	Yes	No
Agda	—	No	No
Boogie	—	Yes	No
CBMC	—	Yes	No