Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

beakerlib-lsb_release map-services nsdb-simple-nce runhaskell-ghc ccomps irdadump kcolorchooser kdb5_ldap_util bloom-generate scotch_atst sg_dd webcam bcpp movescu dots fvwm-crystal.infoline hmmpress jrubyc nfc-poll uic3 su-to-root mp4subtitle obsession-exit tsvbr2cbr partclone.fat32 pg_conftool dnsimple.rb sawfish-client FeatureFinderIsotopeWavelet xkbind