package fstar

You can search for identifiers within the package.

in-package search v0.2.0

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

Install

Dune Dependency

fstar-lang.org Edit opam file Versions (11)

Authors

N

Nik Swamy <nswamy@microsoft.com>,Jonathan Protzenko <protz@microsoft.com>,Tahina Ramananandro <taramana@microsoft.com>

Maintainers

T

taramana@microsoft.com

Sources

v0.9.5.0-opam.tar.gz

sha256=fd2082db00edb3b25d911d8b28a4195baa94b748b96ec3aae7db5def87f1c1e0

md5=bb836bc4b9bb6402afaab671d9df62ce

Description

Published: 10 Oct 2017

Dependencies (11)

ulex
pprint
menhir >= "20161115"
fileutils
ocamlbuild build
yojson
stdint
zarith
batteries
ocamlfind
ocaml >= "4.02.3" & (< "4.03.0" | >= "4.04.0" & < "4.07.0")

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (11)
Dev Dependencies
Used by
Conflicts