Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

migratecred gif2ps oracle g_anaeig hal-set-property smixlate rpmdev-sha384 vnstat xpaint_ocr z80-unknown-coff-ld concavity cvsdo path2listing fastaq_strip_illumina_suffix fldiff fwb_ipfw x_list gitps d.extract r.walk ghoz init-ltsp tracks2vtk pecomato pytest3 xattr sfex_stat snapperd pfarrei fiz