Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

avr32-linux-gnu-gprof atobm fatsrv-gfortran fetch-crl hp2ps oracle fbo-nodepth-test txt-stat yapet grep 9bind l2p lvx print_tags.inc objcopy cgnslist codespell viewluts.aux evtest flasm roff2html ndtpcontrol pbputs sogo-slapd-sockd tetraproc SpectraFilterBernNorm uniconfd chbind getfits xen-init-list