Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

kpdic fusion_skirmish maketestzone ecryptfs-stat ebrowse geographiclib-get-gravity gtkdocize umount.hal kmk_mv dprof2calltree muniphot tomcat-juli.jar midicopy gl-shutdown-menu qfractalnow parseblast checkpto kvkcard volk_modtool tightspark comp med-rehabilitation puf minbif amd64-mingw32msvc-gprof mlpack_decision_stump x86_64-w64-mingw32-ocamlprof ossim-chipper po_cos_naming INIFileEditor