ML-like language aimed at program verification

Current versions:

Revision: 1



fstar requires the following formulae to be installed:

Formula history

Santiago Zanella-Beguelinfstar: fix issue with path to standard library
ilovezfsfstar: update OPAM dependencies
Derek Morrfstar
ilovezfsfstar: revision for ocaml
ilovezfsfstar: unpin ocamlfind version to fix the build
Mike McQuaidUse hash rockets again. (#5177)
Mike McQuaidUse Ruby 1.9+ symbol hash keys in all formulae. (#4942)
Dominyk Tillerfstar: fix spacing
Miguel Araújofstar: fix audit warning
Eugene Auduchinokfstar: fix batteries newer ocaml incompatibility.
Show all revisions of this formula