Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

ranlib getLinks gifview gtali r.surf.area intel-gen4asm ipmievd grmid gmcs wvPS ppmtops xpcshell rotatelogs calibre-debug dh_builddeb dvhtool faust2pdf freefoam-yPlusLES gfan_bases psbbox.sh update-pdf-help do_dssp scanimage-perl jirb create-kxd-config logsvn mpc123 atk6-flood_advertise6 vnc4passwd xzoom