fstar
Verification system for effectful programs
Description
Install
- Published
-
27 Jun 2019
- Maintainers
-
Sources
Dependencies
ocaml-migrate-parsetree
< "2.0.0"
menhir
>= "20161115"
ocamlbuild
build
ocaml
>= "4.04.0" & < "4.08.0"
Reverse Dependencies
kremlin
< "1.0.0"