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/v2026.03.24/fstar-v2026.03.24-src.tar.gz md5=cddac38cdfe3e07ff07870b13f28da29 sha512=c44df718592bd267a2d038dc4cfe3f7343ca24dcf337e3cc6d0d0549fc5ae116fbdbd32b7d5df0f38139807b8ee8bd130348e9620992154a72e4eda9d2c037ce |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/fstar/fstar.2026.03.24/opam |
No package is dependent
