Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

avr-objcopy console-kit-daemon g_gmxdump_d inxi find-jar opj2dat night_exposure nmblookup tpm_restrictpubek smmixer bp_seqcut cbc ebwxshell newcpgreport eric5_qregularexpression fwbedit grokevt-parselog gdk-pixbuf-pixdata nfc-emulate-forum-tag2 lldb-gdbserver autoinc plotdrop ptunnel elementsinfo graph.html qdbusxml2cpp btee jsvn sympow tcpxtract