Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

checkpolicy fastaindex g_rotacf kaccess create_makefiles matchpathcon ebml_validator pkcs11_eventmgr scissor-bitmap xmlpatternsvalidator ustar mktexlsr thunar-volman-settings wishwn aim aetar androresolvd arm-linux-gnueabihf-size debconf-escape dcsort parse_net_conf gdk-pixbuf-query-loaders idevicescreenshot keytool osgwidgetwindow jrpcgen s51dude latf-load.2 stdsyslog slmthread