Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

cris-linux-gnu-ld.bfd ceph_scratchtool dropbearkey pssegyz lscgroup claw-config wavtopvf mpdexit.py ncargf77 pbmtoppa wd sks_build.sh dvibook texmacs xbsh dcod2lum dom-git-checkout rmtermd gac jflex live-swapfile ppmtoy4m rimraf obexftpd identd merge_mapping_files.py RNAhybrid science-geometry ucfr xvnc4viewer