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.6.0-alpha1-opam.zip

md5=7855b84283e85de94db5a7a086f815bb

Description

Published: 04 May 2018

Dependencies (13)

ppx_deriving_yojson
ppx_deriving
ulex
pprint
menhir >= "20161115"
fileutils
ocamlbuild build
yojson
stdint
zarith
batteries
ocamlfind build
ocaml >= "4.04.0" & < "4.07.0"

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (13)
Dev Dependencies
Used by
Conflicts