fstar

ML-like language aimed at program verification
https://www.fstar-lang.org/

Current versions
0.9.5.0
HEAD

Revision: 1

fstar requires the following formulae to be installed:
opam 1.2.2_4 Package manager for OCaml
gmp 6.1.2_2 GNU multiple precision arithmetic library
ocaml 4.06.1 General purpose programming language in the ML family

Recent formula history

ilovezfs fstar: build with OCaml 4.05.0 from OPAM (#20293)
ilovezfs Use “squiggly” heredocs.
Benjamin Beurdouche fstar: vendor unreleased z3 4.5.1.1f29cebd4df6
Benjamin Beurdouche fstar 0.9.5.0
ilovezfs fstar: revision for ocaml

Formula code at GitHub