Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bcfg2-server cimformathistory gfs_controld mkdgifft lights antenv.cmd update-gdk-pixbuf-loaders i.his.rgb mlmmj-recieve fp-condition_codes-01 pptpd pyrcc4 riparrange diskdevstat wvPDF boog dxml-db2latex start.script learnkeys fdpowermon gpsctl icpfind dunedoxynize wsapi.fcgi lxde-logout museeq rasmol-classic svnrdump tthrfcat vfldrvs