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.06.20.tar.gz

md5=2f5d7fe10eee74df38c2441af5fddd1b

sha512=3471450f8f0994dbf45df53519b631a8ad962d137b18b5804e76204df9bbdd35fd5bf3587f5fff0df7ddd0b4c292c222dda4ab9b06fba61ed2f595ee0deccc55

doc/index.html

fstar

API

Library fstar.lib

No module.

On This Page

API
1. Library fstar.lib