Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bglmake bfin-linux-gnu-c++filt mkfs.vfat llvm-mcmarkup mysql-zrm ppmtompeg test_mpi_openmpi fence_legacy picosat strip_duplicates.py qtcreator rancid-fe sdcc-sz80 swig chfn webalizer printcal cdadd apt-grip exif gap bosco_install icmstart ssh-conv xfmflip bib2html recdel screenie png2swf w2text