Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

dirac_instrumentation db2ps psfaddtable dmtxquery paco par corelist depth-level-clamp narcissus-zeromq-source rakconvert exp_count svnadmin isql-vt IOCxxTests xdmx nm em_cons escript freefoam-cellSet x86_64-linux-gnu-gcc-ranlib-4.9 gpscorrelate-gui slc removeSbeFromMipe mokutil mythtv-status tsinputswitch swclock pdfunite qemu-s390x scriptindex