FICHA · AUR
fstar
A Higher-Order Effectful Language Designed for Program Verification
- formal-verification-language
- CLI
- DEVELOPER-TOOL
- SCIENCE
- Launchable
- Runs in terminal
· official+codex · reviewed · May 31, 2026 description in en
Programs and proofs can be written in a higher-order effectful language designed for formal verification.
This is advanced programming-language tooling. It is mainly useful for developers and researchers proving properties of security-sensitive or complex code.
How to run
fstar
Commands: fstar
Permissions
Permissions not analysed for this source yet.