newsGNU Aris - News

 
 
Show details for the latest news.

Latest News Approved
Removing bazaar and mercurial repos
     posted by skolar42, Sat 30 Sep 2017 05:15:08 PM UTC

I've moved Aris over to git.  While git isn't my favorite VCS by far, it's more commonly used, and thus will be easier for other contributors to use.

GNU Aris 2.2 Released
     posted by skolar42, Thu 06 Mar 2014 11:51:49 PM UTC

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 [...]

GNU Aris 2.1.1 Released
     posted by skolar42, Sat 14 Sep 2013 04:53:28 PM UTC

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 [...]

GNU Aris 2.1 Released
     posted by skolar42, Fri 30 Aug 2013 02:20:46 PM UTC

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 [...]

GNU Aris 2.0 Released
     posted by skolar42, Tue 25 Sep 2012 01:28:10 PM UTC

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 program. It supports both propositional and predicate logic, in addition to Boolean algebra and [...]

GNU Aris 1.8 Released
     posted by skolar42, Sun 15 Jul 2012 08:01:47 PM UTC

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. [...]

GNU Aris 1.7 Released
     posted by skolar42, Thu 24 May 2012 03:52:39 PM UTC

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 program. It supports both propositional and predicate logic, in addition to Boolean algebra and [...]

GNU Aris 1.0 Released
     posted by skolar42, 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.

Back to the top

Powered by Savane 3.12.
Corresponding source code