Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bzless csc cube_stat dt-getname fsck.msdos ksh lfc-enterusrmap wpg2raw withsctp mk-archiver mimedefang-multiplexor strip-json-comments arccp qpid-tool tmux unshare clive findscu gr_time_plot_f i.landsat.toar innupgrade assa-hexdump-3.5 live-medium-eject lurker-list read_tape pegasus-monitord tntlogin acpl-int32 stopwatch mpy.mpich2