Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

apcaccess biblatex2xml arm-linux-gnu-elfedit genkey mkeot readmult kio_svn_helper ldapurl arb_texture_buffer_object-subdata-sync in.rlogind svnversion bwbar pdftrimwhite dateutils.dround dkim_responder drmips mgd77track buffchan polarssl_gen_random_ctr_drbg lpsparelm pidfilehack partclone.chkimg make_tep.py qtoctave_pkg slon_watchdog nenctool.2.3.5 gap4 taglog unixserver cin2tab