newsGNU Aris - News

 
 

GNU Aris 2.1.1 Released

Item posted by Ian Dunn <skolar42> on 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
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/>

Changes in version 2.1.1:







Back to the top

Powered by Savane 3.13-4b48.
Corresponding source code