Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

amdevcheck nm cgdcbxd trashroutes euca-cancel-conversion-task h52gif lsmod tcpspray ng_stl draw-batch iotk_print_kinds.x_openmpi scomes vconfig aide lrfviewer contextjit fastaq_to_mira_xml fastDNAml_boot hsqldb-databasemanager jacktrip gdm-emulatord kpendulum.kss texpire unmime.gz mark_service_starting pickle-cnf.py toilet vcd-info xx-filter zynaddsubfx