GNU 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:
- Fixed up bugs in processing.
- Fixed up bugs in bi, dt, and sb.
- Cleaned up code.
- Induction now requires two premises.
- Customization allows for a grading server directory.
- Fixed up some memory leaks.
- Fixed up some bugs with the goal menu.
Powered by Savane 3.14-9aa3.
Corresponding source code