fstarversion Documentation on ocaml.org
Verification system for effectful programs
| Authors | Nik Swamy <nswamy@microsoft.com>, Jonathan Protzenko <protz@microsoft.com> and Tahina Ramananandro <taramana@microsoft.com> |
|---|---|
| License | Apache-2.0 |
| Published | |
| Homepage | http://fstar-lang.org |
| Issue Tracker | https://github.com/FStarLang/FStar/issues |
| Maintainer | mtzguido@gmail.com |
| Dependencies | |
| Source [http] | https://github.com/FStarLang/FStar/archive/refs/tags/v2025.10.06.tar.gz md5=4f3abf2798478703764c91cb77c00c43 sha512=feef67d947110865bdbb5fdc4777cc2120e994f750a8abcec76a6b10e1237438070bb99de3cd7a350225aec697a5b297dd4d5f145a47985e0e1e1fb6f5841dc2 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/fstar/fstar.2025.10.06/opam |
No package is dependent
