dockerfile.run

dafny

programming language with program correctness verifier

Debian

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

Ubuntu

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

Raspbian

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

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