fstarversion
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.08.07.tar.gz md5=d1b088182e4cc0753c39a11d042f0837 sha512=d42966b2c6b5addd132499732a3a6eabc555a53218941dba7e12a2001ed7ebfe90a15a68bd6a482d6338da26a47bc80108b0124e484e24846f6f30ecb9845bfe |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/fstar/fstar.2025.08.07/opam |
No package is dependent
