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/releases/download/v2025.12.15/fstar-v2025.12.15-src.tar.gz md5=581ea8f957ee6c36662b0d4b62463a9a sha512=6e548ed0656940ca7730ee08b192610f17a5ff0126dc5cabb32a7dcfe4bced06228b9e26ef785d12f141a4543a5cd8eb829c6aa5b02cbf1bdf04f200a7f57eac |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/fstar/fstar.2025.12.15/opam |
No package is dependent
