mainGNU Aris - Summary

 
 
Membership Info
Project Admin:
1 active member

Group identification
Id: #10990
System Name: aris
Name: GNU Aris
Group Type: Official GNU software

Search in this Group

in
   

This project is part of the GNU Project.

A logical proof program that supports both propositional and predicate logic, in addition to Boolean algebra and arithmetical logic, the latter of which is met by using abstract sequences.

Registration Date: Tue 08 May 2012 08:39:18 PM UTC
License: GNU General Public License v3 or later
Development Status: 4 - Beta

 

Latest News 
GNU Aris 2.2 Released
     posted by skolar42, Thu 06 Mar 2014 11:51:49 PM UTC - 0 replies

The tarballs are available here:

http://ftp.gnu.org/gnu/aris/aris-2.2,tar.gz
http://ftp.gnu.org/gnu/aris/aris-2.2.tar.bz2

and the Windows version is available here:

http://ftp.gnu.org/gnu/aris/aris-w32-2.2.zip

GNU Aris is a logical proof program. It supports both propositional and ...


[Read more]
GNU Aris 2.1.1 Released
     posted by skolar42, Sat 14 Sep 2013 04:53:28 PM UTC - 0 replies

The tarballs
are available here:

http://ftp.gnu.org/gnu/aris/aris-2.1.1.tar.gz
http://ftp.gnu.org/gnu/aris/aris-2.1.1.tar.bz2

and the Windows version is available here:

http://ftp.gnu.org/gnu/aris/aris-w32-2.1.1.zip

GNU Aris is a logical proof program. It supports both propositional and ...


[Read more]
GNU Aris 2.1 Released
     posted by skolar42, Fri 30 Aug 2013 02:20:46 PM UTC - 0 replies

The tarballs
are available here:

http://ftp.gnu.org/gnu/aris/aris-2.1.tar.gz
http://ftp.gnu.org/gnu/aris/aris-2.1.tar.bz2

and the Windows version is available here:

http://ftp.gnu.org/gnu/aris/aris-w32-2.1.zip

GNU Aris is a logical proof program. It supports both propositional and ...


[Read more]
GNU Aris 2.0 Released
     posted by skolar42, Tue 25 Sep 2012 01:28:10 PM UTC - 0 replies

The tarballs are available here:

[http://ftp.gnu.org/gnu/aris/aris-2.0.tar.gz]
[http://ftp.gnu.org/gnu/aris/aris-2.0.tar.bz2]

and the Windows version is available here:

[http://ftp.gnu.org/gnu/aris-w32-2.0.zip]

GNU Aris is a logical proof ...


[Read more]
[Submit News]
[7 news in archive]

Back to the top


Powered by Savane 3.1-cleanup