Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

csigmaa gnatchop gjavah v.parallel sgmlsasp mpiexec.mpirun_rsh ntfsdump_logfile xml_merge khr_debug-push-pop-group_gl xapian-progsrv dh_aspell-simple filefrag elki gatling i686-w64-mingw32-gcc-ranlib-posix arabic.txt git-squash gitaction gnupod_convert_FLAC gnupod_INIT v.voronoi hb-shape mia-2ddistance csv2mipe p3scan qwavheaderdump gmtst lsw xca ttx2xgf