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.3.0-beta1.tar.gz
sha256=50e12e7c8f7b45ee51058bed6cd4666404bf0f23a8e8fd674d59a2379ef5d163
md5=92187cfb75b224ca6e830a1e5a0bbbc4

Description

Published: 08 Sep 2016

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.