package fstar

You can search for identifiers within the package.

in-package search v0.2.0

Verification system for effectful programs

Install

Dune Dependency

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

Authors

Maintainers

T

taramana@microsoft.com

Sources

v2025.02.17.tar.gz

md5=c9e206803179a04c492f791bf601afe8

sha512=57d972e53edf13f765949625f157b5ecc8ba9757eec14f9a101359fe858cc181c0d9a6f5e4579500da7776ff2e6b15046b14bba5d0d5b7bb961d622f33237c9a

doc/index.html

fstar

API

Library fstar.lib

No module.

On This Page

API
1. Library fstar.lib