fstar

Verification system for effectful programs
Description
Install
Documentation failed to build. fstar-lang.org Edit opam file
Published
27 Jun 2019
Authors
Maintainers
Sources
V0.9.7.0-alpha1.zip
md5=78414a6a5a0ca0c7770a43a36c5f31f7
Dependencies
ocaml-migrate-parsetree < "2.0.0"
process
ppx_deriving_yojson
ppx_deriving
ulex
pprint
menhir >= "20161115"
fileutils
ocamlbuild build
yojson
stdint
zarith
batteries
ocamlfind
ocaml >= "4.04.0" & < "4.08.0"
Reverse Dependencies
kremlin < "1.0.0"