v 2021.09.02 Updated: 4 months, 2 weeks ago

General-purpose functional language aimed at program verification

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 in macOS terminal after installing MacPorts

sudo port install fstar

Add to my watchlist

Installations 0
Requested Installations 0