why3

Software verification platform

Debian Debian
RUN apt-get update && \ apt-get install -y why3
Ubuntu
RUN apt-get update && \ apt-get install -y why3
image/svg+xml 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