Nixhub.io

why3

Platform for deductive program verification

devbox add why3@latest
Tips

Install the package with Nix (specific nixpkg reference shown below).

Not a Nix expert? Download the Devbox CLI and install via `devbox add why3@latest`.

  1. Version
    1.8.1

    Available on Linux and macOS

    Nixpkgs Reference

    a3f3e3f2c983e957af6b07a1db98bafd1f87b7a1#why3

    Outputs

    out, dev

    Install with Devbox

    devbox add [email protected]
    Last updated

  2. Version
    1.8.0

    Available on Linux and macOS

    Nixpkgs Reference

    c539ae8d21e49776966d714f82fba33b1fca78bc#why3

    Outputs

    out, dev

    Install with Devbox

    devbox add [email protected]
    Last updated

  3. Version
    1.7.2

    Available on Linux and macOS

    Nixpkgs Reference

    50165c4f7eb48ce82bd063e1fb8047a0f515f8ce#why3

    Outputs

    out, dev

    Install with Devbox

    devbox add [email protected]
    Last updated

  4. Version
    1.7.1

    Available on Linux and macOS

    Nixpkgs Reference

    a9040b7bf8adcd322493722106dd603eb87694ea#why3

    Outputs

    out, dev

    Install with Devbox

    devbox add [email protected]
    Last updated

  5. Version
    1.7.0

    Available on Linux and macOS

    Nixpkgs Reference

    160b762eda6d139ac10ae081f8f78d640dd523eb#why3

    Install with Devbox

    devbox add [email protected]
    Last updated

  6. Version
    1.6.0

    Available on Linux and macOS

    Nixpkgs Reference

    f5c27c6136db4d76c30e533c20517df6864c46ee#why3

    Install with Devbox

    devbox add [email protected]
    Last updated

  7. Version
    1.5.1

    Available on Linux and macOS

    Nixpkgs Reference

    f012515eb23bcda6a18ee606b7071dd0b2740d66#why3

    Install with Devbox

    devbox add [email protected]
    Last updated

  8. Version
    1.5.0

    Available on Linux and macOS

    Nixpkgs Reference

    125efbd96af28ea5d60e00a3eed832ea3f49a93b#why3

    Install with Devbox

    devbox add [email protected]
    Last updated

  9. Version
    1.4.1

    Available on Linux and macOS

    Nixpkgs Reference

    52dc75a4fee3fdbcb792cb6fba009876b912bfe0#why3

    Install with Devbox

    devbox add [email protected]
    Last updated

  10. Version
    1.4.0

    Available on Linux and macOS

    Nixpkgs Reference

    7feed2c0bec4161c83509d18089784cfcef49667#why3

    Install with Devbox

    devbox add [email protected]
    Last updated

  11. Version
    1.3.3

    Available on Linux and macOS (Intel only)

    Nixpkgs Reference

    9dde08d104a9ce3b22ad375b21d3270a7589fb7a#why3

    Install with Devbox

    devbox add [email protected]
    Last updated

  12. Version
    1.3.1

    Available on Linux

    Nixpkgs Reference

    83162ab3b97d0e13b08e28938133381a7515c1e3#why3

    Install with Devbox

    devbox add [email protected]
    Last updated

  13. Version
    1.2.1

    Available on Linux

    Nixpkgs Reference

    2b7c0dcdaab946153b0eaba5f2420f15ea27b0d6#why3

    Install with Devbox

    devbox add [email protected]
    Last updated