AProS ProofDisplay 7.0 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible.
Parmis les utilisateurs de ce logiciel, la version la plus téléchargée est la version 2.0. Retrouvez AProS ProofDisplay dans notre catégoie Photos et Graphismes et plus précisément Dessin 3D. Ce programme a été à l'origine créé par CMU Philosophy (LSEC). Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs.
Du développeur:
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.
Utilisateur de AProS ProofDisplay, vous pourriez être intéressé aussi par ces outils : HighRoad, AccuTrans 3D ou cymexMotion.