Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

named-journalprint bluetooth-wizard hwloc-ps ibdiagpath kttsd kapman mtp-connect mailq.opensmtpd ext_framebuffer_multisample-draw-buffers-alpha-to-coverage postmap dynmat.x_mpich sg_stpg xboxdrv clojurec1.2 doccentral horst sqlbox macho-dump rmmer afs-rootvol shell_var cpu_offlining zgz textqdacco qmlprofiler SwapValuation vpe ch..root wcw wps2epub