AProS ProofDisplay is a graphical interface that allows users to interact with AProS. It can be used to view the proof and each step of the search in various formats. A demo version of the ProofDisplay can be accessed from the link provided.
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.
Comments