ML-like language aimed at program verification

Current versions

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
Benjamin Beurdouche fstar
ilovezfs fstar: revision for ocaml

Formula code at GitHub