fstar

An ML-like language with a type system for program verification.
Description
Install
Documentation fstar-lang.org Edit opam file
Published
11 Jul 2017
Authors
Maintainers
Sources
schoolNancy17.tar.gz
md5=447509105caade0631e9031ca0827228
Dependencies
pprint
fileutils
ocamlbuild build
yojson
stdint
zarith
batteries
ocamlfind
ocaml >= "4.02.3" & < "4.05.0"
Reverse Dependencies