package fstar
Verification system for effectful programs
Install
Dune Dependency
Authors
Maintainers
Sources
V0.9.7.0-alpha1.zip
sha256=bc33b1160ecdd6f1ff3c120067a2fa4f9c1d35f6b2353b22eca96df12ff0baca
md5=78414a6a5a0ca0c7770a43a36c5f31f7
Description
Published: 27 Jun 2019
Dependencies (15)
-
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"
Dev Dependencies
None
Used by (1)
-
kremlin
< "1.0.0"
Conflicts
None
On This Page