Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

elpa2_print_kernels ganglia-config report-cli lockdev mpiexec pcl_obj_rec_ransac_orr_octree trinity-fp1 pingd typelib.py acl2 ptree algobox aws-status birthday blastcl3 dolfin-convert estbutler lazygal gpsketcher las2txt trafshow arp notebook-gtk2 pcp_stop_pgpool prayer-ssl-prune runit swift-temp-url taucxx tixindex troff2rtf