Description

Published: 08 Sep 2016

Dependencies (8)

  1. num
  2. ocamlbuild build
  3. yojson
  4. stdint
  5. zarith
  6. batteries
  7. ocamlfind
  8. ocaml >= "4.02.3" & < "4.06.0"

Reverse Dependencies

    None

Conflicts

    None
An ML-like language with a type system for program verification.

Install

Documentation fstar-lang.org Edit opam file

Authors

  1. N
    Nik Swamy <nswamy@microsoft.com>

Maintainers

  1. P
    protz@microsoft.com

Sources

v0.9.3.0-beta1.tar.gz
md5=92187cfb75b224ca6e830a1e5a0bbbc4