Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bltk_wl_office_xse ant.bat kml2gmt h5diff libpng12-config lvchange medconforme par2create ib_atomic_bw ipv4calc pessulus GenericFilteringCxxTests xfce4-tips check_postgres_logfile dateutils.dseq preg seqxref tcpbso king kmetronome polarssl_strerror lgrep eqn2eps mimecat mpc123 faucet follower.py pmpgplay genohyper.txt.gz vifm-pause