package fstar
Verification system for effectful programs
Install
Dune Dependency
Authors
Maintainers
Sources
v2021.06.06.tar.gz
md5=5c341a6ae459ea590a905d54edf3d574
sha512=d6a4f620fee3c71a17ed388e9c71aeea2cf5a3adda89db38b731feb8e9bb0b7ffe5a34f556fd06d42ed72640d3604aa9d09c405834bddec65ad3371b48332ba7
Description
Published: 09 Jul 2021
Dependencies (16)
-
z3
= "4.8.5"
- process
- ppx_deriving_yojson
- ppx_deriving
-
ppxlib
>= "0.22.0" & < "0.26.0"
-
sedlex
build & >= "2.0" & < "2.4"
-
pprint
build & >= "20130324" & <= "20211129"
-
menhir
build & >= "20161115"
- fileutils
-
ocamlbuild
build
- yojson
- stdint
- zarith
-
batteries
>= "3.0.0"
- ocamlfind
-
ocaml
>= "4.04.1" & < "4.13.0"
Dev Dependencies
None
Used by (1)
-
kremlin
< "1.0.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page