Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

ranlib gfs2_convert x2sys_report pal2rgb pnmtopng ppmtoyuvsplit oprof_start designer average.x sjispdflatex genewisedb powerpc-linux-gnu-addr2line dose-eclipsecheck eu-ld jembossctl fastaq_extend_gaps x86_64-w64-mingw32-c++-win32 r.out.mat iselect ldap2dns cdr2xhtml gdcmdump PTuncrop lobase smpeg-config masterha_secondary_check variant_comp surserver synce-serial-config jamo-normalize