Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

abrt-action-analyze-python certmaster-ca umount.davfs v.qcount g_genconf_d g_tcaf ifirewall kaffeine lfcdaemon dnet lrzcat scsitape netplugd scotch_gscat basename nrsdrv BALLView gbrowse_set_admin_passwd gsdh_gnustep stag-grep gapplication socket_getaddrinfo testOnDemandRTSPServer makejail mcrl2-gui mia-2dfuzzysegment woosh.wav qemu-ppc64abi32-static cyclicode yhsm-generate-keys