Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

BackupPC_tarPCCopy objcopy cacafire pvchange msencrypt mpitests-osu_scatterv recursion pure-quotacheck rpcinfo siege2csv.pl pyalamode pdfdetach xpidlyacc.py apertium-retxt arbtt-capture check_postgres_disabled_triggers dcfile faust2csound fuzz galleta grmic-4.8 gfortran-4.8 hyantesite im-launch jar service_wasinactive osgvirtualprogram qemu-system-sh4eb sendfiled vhtop