Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

BackupPC_tarPCCopy chicken-profile chkfont x86_64-linux-gnu-cpp gfal_teststat v.net.alloc afslog kcforesttest mp4dump sgmlcheck mockchain crm_node xpamb 9menu dispwin cdfinfo zone_tool~rnano drumstick-guiplayer freefoam-solverSweeps vecffe.o install-chroot.sh gr_plot_float imput camitk-cepgenerator json2yaml linuxdcpp mia-3dimagestats science-physics-dev spatialite_dxf tauf90