Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

clusterBed esmtp euare-groupcreate fts-transfer-snapshot tapemap jmacs lcg-cp manage_clients pcl_ply2pcd mktexlsr wemux xkbevd hierarchyviewer eliomdoc grig bpchat akonadi_icaldir_resource splitimage2pdf skel primer_designer config-model-edit defcolors vgetty neopi obsession-logout openstack-generate-pot sstm8 socket update-updmap ospf_print_neighbours