v 2026.03.24 Updated: 3 days, 12 hours ago
Verification system for effectful programs
F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification. It puts together the automation of an SMT-backed deductive verification tool with the expressive power of a proof assistant based on dependent types. After verification, F* programs can be extracted to efficient OCaml, F#, C, WASM, or ASM code.
To install fstar, paste this into the macOS Terminal after installing MacPorts
sudo port install fstar
| Installations | 1 |
| Requested Installations | 0 |