Language with a type system for program verification

Current versions: HEAD

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


fstar requires the following formulae to be installed:

Formula history

Mike McQuaid Use hash rockets again. (#5177)
Mike McQuaid Use Ruby 1.9+ symbol hash keys in all formulae. (#4942)
Dominyk Tiller fstar: fix spacing
Miguel Araújo fstar: fix audit warning
Eugene Auduchinok fstar: fix batteries newer ocaml incompatibility.
Benjamin Beurdouche fstar (upstream repack)
Benjamin Beurdouche FStar
Benjamin Beurdouche fstar (migrated from homebrew/science)