Download of AProS ProofDisplay 7.0 was on the developer's website when we last checked. We cannot confirm if there is a free download of this software available. The most popular version of the software 2.0. The software relates to Photo & Graphics Tools. The actual developer of the program is CMU Philosophy (LSEC). We recommend checking the downloaded files with any free antivirus.
From the developer:
The ProofDisplay is a rich graphical interface used to to interact with AProS. In the ProofDisplay one can view both the resulting proof and each step in the search in a number of formats. A demonstration version of the ProofDisplay can be accessed from the link below.
You may want to check out more software, such as Batch Fax2Tif, Smart FaxSee or Batch Fax to PDF, which might be related to AProS ProofDisplay.