Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bindexdist ld bird celtdec051 dd_rescue devhelp bmc-config ssindex mash ncap qml1plugindump java_count xauth dn2rdn bonnie drbl-gen-ssh-host-keys dbifasta eric5_compare fastx_renamer feelpp_qs_laplacian fvwm-crystal.play-movies r.le.trace leocad ppmtoxvmini minisat+ jrunscript opensesame rptp uwsgi_v8 i2f