Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bscan.mysql cabal-dev dpconv beam.smp euscale-describe-process-types mzn-gecode globus-gass-cache-util globus-gatekeeper mkhtmlindex mtp-albumart faxrunq signcode nytprofcsv pmvers d3.x qstop anjuta-launcher dh_dkms gdpc gnomint gtranslator wserv janinoc pegjs qemu-mipsn32-static sz80 vdb-passwd.2.3.5 viewnior Plouffe xpdf.real