GNU Aris - News
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.
Powered by Savane 3.14-9aa3.
Corresponding source code