Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

acpi_listen bodhi-tagcheck pawserv-gfortran dvipng gnatname pkicreate rhgb-client pltcl_listmod mutagen-inspect cppp.x_openmpi texi2pdf voikkospell aediff bp_search2table dblook ewfmount fpclasschart-2.6.4 hocr-gtk icewm-session-lite lzip.lzip mono-xsp4-admin run_mopac7 mp4track nces paw-demos swift-config secpanel sendip tinyirc xjed