newsGNU Aris - News: GNU Aris 1.7 Released

 
 
Latest News
Removing bazaar and mercurial repos posted by skolar42, Sat 30 Sep 2017 05:15:08 PM UTC
GNU Aris 2.2 Released posted by skolar42, Thu 06 Mar 2014 11:51:49 PM UTC
GNU Aris 2.1.1 Released posted by skolar42, Sat 14 Sep 2013 04:53:28 PM UTC
GNU Aris 2.1 Released posted by skolar42, Fri 30 Aug 2013 02:20:46 PM UTC
GNU Aris 2.0 Released posted by skolar42, Tue 25 Sep 2012 01:28:10 PM UTC

GNU Aris 1.7 Released

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

  • The goal window now displays its proof name.
  • The rules have been touched up, removing a lot of bugs.
  • Subproofs are corrected, and no longer crash when several are made.
  • Isar interoperability has been improved.


 

Back to the top

Powered by Savane 3.13-02a9.
Corresponding source code