package fstar
An ML-like language with a type system for program verification.
Install
Dune Dependency
Authors
Maintainers
Sources
v0.9.6.0.zip
sha256=a945cdd171e4ad83142b1a7f5230047e766fa81eaf8cbece642c9e80718e3098
md5=bad094857baf83b8f556ce1348d39ab4
Description
Published: 18 May 2018
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