alt-ergo

Automatic theorem prover dedicated to program verification

Debian Debian
RUN apt-get update && \ apt-get install -y alt-ergo
Ubuntu
RUN apt-get update && \ apt-get install -y alt-ergo
image/svg+xml Kali Linux
RUN apt-get update && \ apt-get install -y alt-ergo
Fedora
RUN dnf install -y alt-ergo
Raspbian
RUN apt-get update && \ apt-get install -y alt-ergo
click the source code to copy install alt-ergo on any operating system with command-not-found.com