Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bacula-sd btrace filter-unicover .gsisshd.hmac kadmin iscsiadm mpitests-osu_scatter ppmrelief pcl_image_grabber_viewer sdcv spawning colcrt aesvt argonaut-ldap2zone powerpc64le-linux-gnu-objdump cf-promises ctdb_store dh_linktree elza exrblur freefoam-job gmtpath ktutilserv parsinsert sc_warts2pcap gmk_ub2-long selinux-activate vflx11 wmnd convertnk