Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

fedoradev-pkgowners build-classpath ppmtoacad picprog plink autospec aedesk rsuplnk blam xml2dsr ecaccess-file-put flactag snap2tzx gfsjoin2D hime-tsd2a32 comedi_soft_calibrate findorule tracks2prob convert_keylist ovs-bugtool png2html pypycompile perl6-p rplayd spyder tcc FeatureLinkerUnlabeledQT ttf2ufm xdrawchem dh_installzope