Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

nm kermit hp_alice_test mysqldumpslow ocamlyacc bdb_recover perlbal whisper-set-aggregation-method sumpdos.x_openmpi winecpp objcopy infoassembly ontogetsibs i686-w64-mingw32-gnatmake-win32 hackrf_rffc5071 kc getfem-config llvm-bcanalyzer-3.4 srp-gen makepasswd mpg123-portaudio indexpub nedit-nc ball1.png ossim-band-merge pkascii2ogr rabbit-command sam-dump netmux vznnc