Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

gfalFS_umount r.kappa g_msd gunzip makeconv kjscmd kcpolymgr pvcreate ylistb-gfortran arb_transform_feedback2-cannot-bind-when-active chpasswd tex4ht-ht cmp col9 dbfsd drobom emacsclient.emacs24 expect_weather setforward grabc icmpinfo ionscript lbcd g++dep cdr2raw nield slave1 savanna subtitleeditor reportlog.cgi