Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

autoupdate corrida gfs2_convert glite-lb-proxy-interlogd h5pfc parallel sed_count safe_finger podebug WPrefs get-wraster-flags xgamma pg2diagram.pl codespell get-all-nic-ip treefile2prolog faust2firefox audio2tape gnunet-mesh gtimelog hime img2sixel mediastream mlock osgdatabaserevisions partclone.chkimg NRRDToDicom getconlist html2pdbtxt ucto