Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bltk base64 msgattrib glacier-cli getent diff-jars kmag koji-gc llvm-symbolizer lttng-sessiond mpitests-IMB-IO ptaskset cftp unsquashfs voms-proxy-destroy2 vtkParseJava acpi_fakekey backup2l unsplit userdb-test-cram-md5 laps r.to.rast3 uncompress iki-git-shell netwrite pcmanfm pt-mext drawtree process_wait predict-map