Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

cups-config dvd+rw-format gcps2wld.py gpgsm-gencert.sh r.li.padrange iked kDepPre mocha mpispawn mysqlslap nypatchy-g77 weblint pydf linguist tsung acpi_fakekey bcopy i586-linux-gnu-addr2line ptloader drbl-user-get FreeFem++ ghc-pkg pl2wam kaget kbibtex lilypond-book pbespgsolve cvsmgdiff mif2rtf parser.py