hol88

Higher Order Logic, system image

  • Maintainer: Camm Maguire <camm@debian.org>
  • Section: math
Debian Debian
RUN apt-get update && \ apt-get install -y hol88
Ubuntu
RUN apt-get update && \ apt-get install -y hol88
image/svg+xml Kali Linux
RUN apt-get update && \ apt-get install -y hol88
Raspbian
RUN apt-get update && \ apt-get install -y hol88
click the source code to copy install hol88 on any operating system with command-not-found.com