Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

aoe-sancheck apbs-coulomb dirac_YUV422toYUV420 erl_call escript kinit hwloc-distances mpivars ntfsfix fog-modes bloom-export-upstream file_name.erb testdisk ebview-client expect_mkpasswd create_matrix gnulib-tool gnunet-core hdevtools buildhash batch_rubber_sheet openssl-vulnkey html2markdown.py3 collate_alpha.py reniced rage4.rb smokeinfo shelltool yacas yubiserver