Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

arm-linux-gnu-objcopy devhelp dtdefs fbtracemgr grib_moments h5ls compile_et ppm2tiff autoflat annotate-output type1afm lcp2_mlehash xl2tpd-control exec-apoo bt-adapter boa-constructor fibxform ekg-ncurses faust2puredata ffmpeg2theora r.to.rast3elev openturns-module mugshot mhparam partitionmanager canberra science-physics-dev victor diffpos vshelper