Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

ld.bfd chm_http chrpath db42_verify dpm-modifyfs sendmail.exim sge_qmaster htstat makekdewidgets4 lcm-spy ndiff pamtester ics_diff fig2ps2tex xkbvleds ar bmon catfish cfetool gjslint cocoj dwm.default gsi-script x2sys_merge gst-discoverer-0.10 oarnodechecklist csscombine_py2 starconvert tomcat-juli.jar MKBKV2H