Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

ill2fastq.pl alpha-linux-gnu-elfedit as gshhg d.mon ilan liblinear-predict pamtooctaveimg ppmflash cmsutil cpspc postman cefspdflatex a2j_control atsc_epg mbsubmit gxkb id3 go-show-paths-to-root rmf opendkim-genzone jstatd pcl_statistical_multiscale_interest_region_extraction_example NIfTI1ToDicom debugreiserfs runit-init sasl-sample-client nencvalid.2 texluajitc tv_augment_tz