package fstar

  1. Overview
  2. No Docs
Verification system for effectful programs

Install

fstar-lang.org Edit opam file

Authors

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

Maintainers

  1. T
    taramana@microsoft.com

Sources

V0.9.7.0-alpha1.zip
md5=78414a6a5a0ca0c7770a43a36c5f31f7

Description

Published: 27 Jun 2019

Dev Dependencies

None

Used by (1)

  1. kremlin < "1.0.0"

Conflicts

None