Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

artsshell db2x_texixml db2x_xsltproc arm-linux-gnu-gcov gitso hp_map2gif pdf2fax.gs korganizer replace nm-online pltcl_loadmod strigidaemon ilmid beet chef-zero ctermd paths.sh ebshell fcitx-autostart geogebra git-buildpackage indi_lx200fs2 bpcp maildir-filter pfsrotate qtcreator.sh snapperd srf_extract_hash xen-create-image ospf_print_lsas