taskSavannah Administration - Tasks: task #12032, Submission of GNU Aris

 
 

task #12032: Submission of GNU Aris

Submitter:  Ian Dunn <skolar42>
Submitted:  Tue 08 May 2012 08:39:19 PM UTC
   
 
Should Start On:  Tue 08 May 2012 04:00:00 AM UTC Should be Finished on:  Fri 18 May 2012 04:00:00 AM UTC
Category:  Project Approval Priority:  * 5 - Normal
Status:  Done Privacy:  Public
Assigned to:  xenu Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Tue 08 May 2012 08:41:15 PM UTC, comment #1: 

Happy hacking :)

Tomasz

Tomasz Konojacki <xenu>
Tue 08 May 2012 08:39:19 PM UTC, original submission:  

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 page, accessible only to site administrators, effectively logged as site administrators (superuser):



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


Ian Dunn <skolar42>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by xenu (Posted a comment)
  • -email is unavailable- added by skolar42 (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

    Only logged-in users can vote.

     

    Follow 4 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2012-05-08 xenu StatusNone Done
        Percent Complete0% 100%
        Assigned toNone xenu
        Open/ClosedOpen Closed

    Back to the top

    Powered by Savane 3.13-02a9.
    Corresponding source code