Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

aplaymidi bcfg2-reports dbus-monitor map-packages jack_load wpg2svg mpitests-osu_latency_mt ypatchy-gfortran qgis.g.browser cu calife cdcd ocs-chnthn dchroot-dsa dh_installmime wordmatch fookb-wmaker giftrans gr_time_raster_f jack-stdout jnettop mpd-rate mate-terminal.wrapper mighty-mkindex packagesearch pj_validate PDFToDicomImage predict getABIcomment vlogger