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 May 8 20:39:18 2012
License: GNU General Public License v3 or later
Development Status: 4 - Beta

 

Latest News rss feed
GNU Aris 2.2 Released
     posted by skolar42, Thu Mar 6 23:51:49 2014 - 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 Sep 14 16:53:28 2013 - 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 Aug 30 14:20:46 2013 - 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 Sep 25 13:28:10 2012 - 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