newsGNU Aris - News

 
 
Print summaries for the latest news.

Latest News Approved - With Summaries
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]
GNU Aris 1.8 Released
     posted by skolar42, Sun Jul 15 20:01:47 2012 - 0 replies

The tarballs are available here:

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

GNU Aris is a logical proof program. It supports both propositional and predicate logic, in addition to Boolean algebra and arithmetical logic, the latter of which it supports through the use of abstract sequences. ...


[Read more]
GNU Aris 1.7 Released
     posted by skolar42, Thu May 24 15:52:39 2012 - 0 replies

The tarballs are available here:

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

and the Windows version is available here:

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

GNU Aris is a logical proof ...


[Read more]
GNU Aris 1.0 Released
     posted by skolar42, Thu May 10 13:10:41 2012 - 0 replies

The tarballs are available here:

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

GNU Aris is a logical proof program. It supports both propositional and predicate logic, in addition to Boolean algebra and arithmetical logic, the latter of which it supports through the use of abstract sequences.

GNU Aris' homepage: <http://www.gnu.org/software/aris/>

This is the initial release of GNU Aris.

Back to the top


Powered by Savane 3.1-cleanup