Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

microblaze-linux-gnu-readelf fftwf-wisdom hp_anafast krb5-send-pr gpg-error tapeinfo vpassert texrect-many powertop indexcon xmbdfed abiword ambdec_cli apt-cacher Esetroot gcin-tools gextractwinicons gif2apng gui-apt-key mpd-rate tkmolrender dgpart jsonlint3 celery.html rwin.vbs seccure-verify speech-dispatcher svsetup wcw xcolors