Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

clamconf db2html fasd loadunimap kmid icu-config lbmount mpiexec tandem2pin sgp_dd system-config-lvm apertium-deswxml backup2l gcc-ranlib-4.9 gfan_fancommonrefinement r.proj linefind innwatch lava-mount-masterfs lazres-1.2.4 scls eventcounter musl-ldd pkcrop saga_gui fst-parse2 lualatex PeptideIndexer comparoob pscal