dockerfile.run

formed

formula editor for first-order logic formulae

Debian

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

Ubuntu

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

Raspbian

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

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