fstar

ML-like language aimed at program verification

https://www.fstar-lang.org/

Current versions:

stable 0.9.5.0
head ⚡️ HEAD
bottle 🍾 high_sierra, sierra, el_capitan, yosemite

Revision: 1

Options:

--without-ocaml Build without ocaml support

Depends on:

gmp 6.1.2 GNU multiple precision arithmetic library

Depends on recommended:

ocaml 4.06.1 General purpose programming language in the ML family

Depends on when building from source:

opam 1.2.2 Package manager for OCaml

JSON API for fstar

Formula code on GitHub

Fork me on GitHub