package fstar

  1. Overview
  2. Docs
An ML-like language with a type system for program verification.

Install

Dune Dependency

Authors

Maintainers

Sources

v0.9.5.0-opam.tar.gz
sha256=fd2082db00edb3b25d911d8b28a4195baa94b748b96ec3aae7db5def87f1c1e0
md5=bb836bc4b9bb6402afaab671d9df62ce

Description

Published: 10 Oct 2017

Dependencies (11)

  1. ulex
  2. pprint
  3. menhir >= "20161115"
  4. fileutils
  5. ocamlbuild build
  6. yojson
  7. stdint
  8. zarith
  9. batteries
  10. ocamlfind
  11. ocaml >= "4.02.3" & (< "4.03.0" | >= "4.04.0" & < "4.07.0")

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.