package fstar

  1. Overview
  2. Docs
Verification system for effectful programs

Install 

dune-project
 Dependency

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

Authors

  1. N
    Nik Swamy <nswamy@microsoft.com>
  2. J
    Jonathan Protzenko <protz@microsoft.com>
  3. T
    Tahina Ramananandro <taramana@microsoft.com>

Maintainers

  1. M
    mtzguido@gmail.com

Sources

v2025.10.06.tar.gz
md5=4f3abf2798478703764c91cb77c00c43
sha512=feef67d947110865bdbb5fdc4777cc2120e994f750a8abcec76a6b10e1237438070bb99de3cd7a350225aec697a5b297dd4d5f145a47985e0e1e1fb6f5841dc2

doc/index.html

fstar

API

Library fstar.lib

No module.