Score5.9
Rank#21 of 33
Free planNo
Runs onWindows, Linux, macOS
Summary
F* is ranked #21 of 33 in formal verification tools on Everything Xiaomi. It runs on Windows, Linux, macOS.
Compared on formal verification tools
- Verification method
- hybridfstar-lang.org
- Supported formalisms
- theorem-provingfstar-lang.org
- Input languages
- F*fstar-lang.org
- Deployment
- self-hostedfstar-lang.org
Best F* alternatives
See all 12
Where it ranks on Everything Xiaomi
Is F* yours?
Claim it for free: prove the domain, then correct facts, plans and screenshots. An editor reviews every change.