Linux workstation

Upstream software project

why3

Software verification platform

About why3

Software verification platform

This project links 8 native package records across 2 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.

These are catalog observations, not a guarantee of installation, compatibility, or upstream support.

Visit project website

Project pictures and package coverage

Debian 12 (Bookworm): 5 package records; Debian 13 (Trixie): 3 package records. Catalog coverage diagram, not an application screenshot.why3: recorded package coverageDebian 12 (Bookworm)5 recordsDebian 13 (Trixie)3 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
why3
Publisher
Not authoritatively mapped
Native package records
8
Operating systems
debian-12, debian-13
License expression
Not reported
Metadata completeness
95/100 (not a software quality rating)
Homepage
Visit upstream site
Source repository
Not reported

Source-reported description

The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.

HTML Documentation of the why3 verification platform

Description source

Packages by operating system

Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.

Debian 12 (Bookworm)

  1. libwhy3-ocaml-dev

    Debian 12 (Bookworm) / ocaml / source why3

    1.5.1-1+b2

    OCaml librariries for why3 (dev)

    amd64arm64bookworm
  2. why3

    Debian 12 (Bookworm) / math / source why3

    1.5.1-1+b2

    Software verification platform

    amd64arm64bookworm
  3. why3-doc-html

    Debian 12 (Bookworm) / math / source why3

    1.5.1-1

    HTML Documentation of the why3 verification platform

    allbookworm
  4. why3-doc-pdf

    Debian 12 (Bookworm) / math / source why3

    1.5.1-1

    PDF Documentation of the why3 verification platform

    allbookworm
  5. why3-examples

    Debian 12 (Bookworm) / math / source why3

    1.5.1-1

    Examples for the why3 verification platform

    allbookworm

Debian 13 (Trixie)

  1. libwhy3-ocaml-dev

    Debian 13 (Trixie) / ocaml / source why3

    1.8.0-2+b1

    OCaml librariries for why3 (dev)

    amd64arm64trixie
  2. why3

    Debian 13 (Trixie) / math / source why3

    1.8.0-2+b1

    Software verification platform

    amd64arm64trixie
  3. why3-examples

    Debian 13 (Trixie) / math / source why3

    1.8.0-2

    Examples for the why3 verification platform

    alltrixie

Project resources and further reading

Mapping provenance

Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.

No field-level source record is published yet.

why3 Software and Packages | OpenFactory