[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-register-public] [task #12032] Submission of GNU Aris
From: |
Ian Dunn |
Subject: |
[Savannah-register-public] [task #12032] Submission of GNU Aris |
Date: |
Tue, 08 May 2012 20:39:19 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:6.0) Gecko/20110815 IceCat 6.0 (like Firefox/6.0) |
URL:
<http://savannah.gnu.org/task/?12032>
Summary: Submission of GNU Aris
Project: Savannah Administration
Submitted by: skolar42
Submitted on: Tue 08 May 2012 04:39:19 PM EDT
Should Start On: Tue 08 May 2012 12:00:00 AM EDT
Should be Finished on: Fri 18 May 2012 12:00:00 AM EDT
Category: Project Approval
Priority: 5 - Normal
Status: None
Privacy: Public
Percent Complete: 0%
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
Effort: 0.00
_______________________________________________________
Details:
A new project has been registered at Savannah
This project account will remain inactive until a site admin approves or
discards the registration.
= Registration Administration =
While this item will be useful to track the registration process, *approving
or discarding the registration must be done using the specific Group
Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=10990> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):
* Group Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=10990>
= Registration Details =
* Name: *GNU Aris*
* System Name: *aris*
* Type: Official GNU software
* License: GNU General Public License v2 or later (None.)
----
==== Description: ====
GNU Aris is a logical proof program, using natural deduction. Aris supports
propositional and predicate logic, as well as Boolean algebra and arithmetical
logic, in the form of abstract sequences. Aris uses a predefined set of
inference and equivalence rules, but allows users to use old proofs or
Isabelle's Isar proofs as lemmas. Aris is written in C. Aris processes its
input by converting it first into s-expressions, then evaluates the validity
of a statement given the references and the desired conclusion. Aris uses a
GTK GUI, but also supports a command line interface. Aris is set up to be
easily used by anywhere from beginners to experts, and supports optional
features for experts. Aris is interoperable with Isabelle, another logical
proof program. Aris also uses sequence logic, which allows users to prove
mathematical theorems.
==== Other Software Required: ====
GTK - GPL - www.gtk.org
libxml - GPL - www.xmlsoft.org
==== Tarball URL: ====
http://savannah.gnu.org/submissions_uploads/aris-0.1-tar.gz
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/task/?12032>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [Savannah-register-public] [task #12032] Submission of GNU Aris,
Ian Dunn <=