dev-lang/fstar
Verification system for effectful programs
Screenshots
-
fstar-2021.11.27~amd64+ocamlopt ocamlopt
View 
Download 
Browse License: Apache-2.0 Overlay: src_prepare-overlay
Runtime Dependencies
fstar-2021.11.27
dev-ml/batteries:=
dev-ml/ocaml-fileutils:=
dev-ml/ocaml-process:=
dev-ml/ocaml-stdint:=
dev-ml/ppx_deriving:=
dev-ml/ppx_deriving_yojson:=
dev-ml/ppxlib:=
dev-ml/yojson:=
dev-ml/zarith:=
~sci-mathematics/z3-4.8.5
dev-libs/gmp:=
dev-lang/ocaml:=[ocamlopt?
]
dev-ml/ocaml-fileutils:=
dev-ml/ocaml-process:=
dev-ml/ocaml-stdint:=
dev-ml/ppx_deriving:=
dev-ml/ppx_deriving_yojson:=
dev-ml/ppxlib:=
dev-ml/yojson:=
dev-ml/zarith:=
~sci-mathematics/z3-4.8.5
dev-libs/gmp:=
dev-lang/ocaml:=[ocamlopt?
]