Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

amflush db43_deadlock gnuplot-wx44 gtk-demo heimdal-krb5-config kmk_chmod lbzforce lxc-top clog2_print ppmtopjxl xbiso aewm cduce dwbremote shares-admin guncat sm lava-daemon camitk-testcomponents csv2pdf lxc-test-console mia-2dtrackpixelmovement miwm-session osgcubemap pcp_proc_info plum rdoc2.1 scilab-cli-bin swfc vfu