newsGNU Aris - News: GNU Aris 1.0 Released

 
 
Show feedback again
Latest News
GNU Aris 2.0 Released posted by skolar42, Tue 25 Sep 2012 01:28:10 PM UTC - 0 replies
GNU Aris 1.8 Released posted by skolar42, Sun 15 Jul 2012 08:01:47 PM UTC - 0 replies
GNU Aris 1.7 Released posted by skolar42, Thu 24 May 2012 03:52:39 PM UTC - 0 replies
GNU Aris 1.0 Released posted by skolar42, Thu 10 May 2012 01:10:41 PM UTC - 0 replies
[Submit News]
[4 news in archive]

GNU Aris 1.0 Released

Item posted by Ian Dunn <skolar42> on Thu 10 May 2012 01:10:41 PM UTC.

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.

Comments:

No messages in GNU Aris 1.0 Released

 

Show feedback again

Back to the top


Powered by Savane 3.1-cleanup