sci-mathematics/why3
Platform for deductive program verification
Screenshots
View
Download
BrowseRuntime Dependencies
why3-1.7.2
!sci-mathematics/why3-for-spark
>=dev-lang/ocaml-4.05.0:=[ocamlopt?
]
>=dev-ml/menhir-20170418:=
dev-ml/num:=
coq?
( >=sci-mathematics/coq-8.7:= )
emacs?
( app-editors/emacs:* )
gtk?
( dev-ml/lablgtk:=[sourceview,ocamlopt?
] )
re?
( dev-ml/re:= )
sexp?
( dev-ml/ppx_deriving:=[ocamlopt?
] dev-ml/ppx_sexp_conv:=[ocamlopt?
] dev-ml/sexplib:=[ocamlopt?
] )
stackify?
( dev-ml/ocamlgraph:=[ocamlopt?
] )
zarith?
( dev-ml/zarith:= )
zip?
( dev-ml/camlzip:= )
dev-lang/ocaml:=[ocamlopt?
]
>=dev-lang/ocaml-4.05.0:=[ocamlopt?
]
>=dev-ml/menhir-20170418:=
dev-ml/num:=
coq?
( >=sci-mathematics/coq-8.7:= )
emacs?
( app-editors/emacs:* )
gtk?
( dev-ml/lablgtk:=[sourceview,ocamlopt?
] )
re?
( dev-ml/re:= )
sexp?
( dev-ml/ppx_deriving:=[ocamlopt?
] dev-ml/ppx_sexp_conv:=[ocamlopt?
] dev-ml/sexplib:=[ocamlopt?
] )
stackify?
( dev-ml/ocamlgraph:=[ocamlopt?
] )
zarith?
( dev-ml/zarith:= )
zip?
( dev-ml/camlzip:= )
dev-lang/ocaml:=[ocamlopt?
]
why3-1.6.0
!sci-mathematics/why3-for-spark
>=dev-lang/ocaml-4.05.0:=[ocamlopt?
]
>=dev-ml/menhir-20170418:=
dev-ml/num:=
coq?
( >=sci-mathematics/coq-8.7:= )
emacs?
( app-editors/emacs:* )
gtk?
( dev-ml/lablgtk:=[sourceview,ocamlopt?
] )
re?
( dev-ml/re:= )
sexp?
( dev-ml/ppx_deriving:=[ocamlopt?
] dev-ml/ppx_sexp_conv:=[ocamlopt?
] dev-ml/sexplib:=[ocamlopt?
] )
stackify?
( dev-ml/ocamlgraph:=[ocamlopt?
] )
zarith?
( dev-ml/zarith:= )
zip?
( dev-ml/camlzip:= )
dev-lang/ocaml:=[ocamlopt?
]
>=dev-lang/ocaml-4.05.0:=[ocamlopt?
]
>=dev-ml/menhir-20170418:=
dev-ml/num:=
coq?
( >=sci-mathematics/coq-8.7:= )
emacs?
( app-editors/emacs:* )
gtk?
( dev-ml/lablgtk:=[sourceview,ocamlopt?
] )
re?
( dev-ml/re:= )
sexp?
( dev-ml/ppx_deriving:=[ocamlopt?
] dev-ml/ppx_sexp_conv:=[ocamlopt?
] dev-ml/sexplib:=[ocamlopt?
] )
stackify?
( dev-ml/ocamlgraph:=[ocamlopt?
] )
zarith?
( dev-ml/zarith:= )
zip?
( dev-ml/camlzip:= )
dev-lang/ocaml:=[ocamlopt?
]