dockerfile.run

why3

Software verification platform

Debian

RUN apt-get update && \
    apt-get install -y why3

Ubuntu

RUN apt-get update && \
    apt-get install -y why3

Kali Linux

RUN apt-get update && \
    apt-get install -y why3

Fedora

RUN dnf install -y why3

Raspbian

RUN apt-get update && \
    apt-get install -y why3

click the source code to copy install why3 on any operating system with command-not-found.com