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 | taramana@microsoft.com |
| Dependencies | |
| Source [http] | https://github.com/FStarLang/FStar/archive/refs/tags/v2025.03.25.tar.gz md5=2d7f02d2931ddc9c74abdac9eb165ed0 sha512=0131974e624146bc05cbdf668b961ef46a3a2edef3f29638b28e38c74bbb4254f9e9039341198c8d8be40eb05dd440bd6ac799b7d1d39c483103395863b8e1ab |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/fstar/fstar.2025.03.25/opam |
No package is dependent
