Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

pawd cygdb hp_rotalm_cxx cupsdoprint create_svnignore pprof2calltree nfsometer zenmap-root pkcheck paster pcreate q2trans_fd.x_openmpi tsung-recorder xfce4-session-logout remove-ds-admin cdfsigi cfkey pdftrimwhite gcc-ranlib-4.8 gems-client kill lldb-3.4 xfminvert nmtui-edit parsinsert partclone.ext2 exceltex tophat2 dtd2vim newfits