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 AccuTrans 3D, cymexMotion or 20-sim Pro, which might be related to AProS ProofDisplay.