Free Software Foundation!

Join now

Browse wiki

Jump to: navigation,
Aris
Computer languages C  +
Documentation note [https://www.gnu.org/software/aris/manual/ Documentation]
Full description A sequential proof program, designed to asA sequential proof program, designed to assist anyone interested in solving logical proofs. Aris supports both propositional and predicate logic, as well as Boolean algebra and arithmetical logic in the form of abstract sequences. It uses a predefined set of both inference and equivalence rules, however gives the user options to use older proofs as lemmas, including Isabelle's Isar proofs. lemmas, including Isabelle's Isar proofs.
GNU package identifier aris  +
Homepage URL https://www.gnu.org/software/aris/  +
Interface command-line  + , x-window-system  +
Is GNU true  +
Last review by Genium +
Last review date 3 October 2013  +
License GPLv3orlater +
License verified by mtjm  +
License verified date 20 August 2012  +
Mathematics proof-checker  +
Name Aris  +
Prerequisite description gtk+-2.24  + , libxml-2.7  +
Prerequisite kind Required to use  +
Real name Ian Dunn  +
Resource URL bug-aris@gnu.org  + , https://lists.gnu.org/mailman/listinfo/bug-aris  +
Resource kind Mailing List  + , Mailing List Subscribe  +
Revisionid 19,659  +
Revisiontimestamp 3 October 2013 17:07:57  +
Revisionuser User:Genium +
Role Maintainer  +
Short description A formal logical proof program  +
Submitted by Johns +
Submitted date 20 August 2012  +
VCS checkout command bzr branch bzr://bzr.savannah.gnu.org/aris  +
Version date 14 September 2013  +
Version download https://ftp.gnu.org/gnu/aris/aris-2.1.1.tar.gz  +
Version identifier 2.1.1  +
Version status stable  +
Has queryThis property is a special property in this wiki. Aris + , Aris + , Aris + , Aris + , Aris + , Aris + , Aris + , Aris + , Aris +
Has improper value forThis property is a special property in this wiki. Resource audience  +
Modification dateThis property is a special property in this wiki. 1 August 2014 23:34:53  +
Page has default formThis property is a special property in this wiki. Entry  +
Has subobjectThis property is a special property in this wiki. Aris + , Aris + , Aris + , Aris + , Aris + , Aris + , Aris +
EmailThis property is a special property in this wiki. dunni@gnu.org  +
hide properties that link here 
Aris + Has featured
Aris + License of
Aris + Person of
Aris + , Aris + Resource of
Aris + , Aris + Software prerequisite of
 

 

Enter the name of the page to start browsing from.



Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.


Personal tools
Namespaces

Variants
Views
Actions
Navigation
Contribute