Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

cheese xpp_blink faked-sysv frv-linux-gnu-gcc gobby mpic++ ncgen3 ycompar-g77 smtp-source pg_restore mkbitmap GWCommand cdir debcheckout dpkg-unhold stssearch fai-chboot galax-parse haddock-ghc-7.6.3 hpmount hpcc auth_krb5 ldaptor-fetchschema llvm-dwarfdump mhparam zcov-genhtml.gz nescc-mig vdb-validate undbx witray