Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

ttf2svg dspam_merge vcddiff oggz-validate mydnscheck-pgsql nfsometer slapcat ssh-keygen pmie_email stencil-twoside pdffonts abr2gbr bareos-sd avg_adm exiftime fastq_masker ganeti-confd javac delaunay llvm-stress-3.4 lxtask mythtv_recording_now jar orpie dgord-long rings3d refdbxp squidview ttm uno.bin