GNU Aris - News
GNU Aris 1.8 Released
Item posted by Ian Dunn <skolar42> on 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' homepage: <http://www.gnu.org/software/aris/>
Changes in version 1.8:
* Added LaTeX conversion functionality.
* Stricter syntax checking.
* Parenthesis parsing fixed up.
* Fixed selection bug.
* Temporarily removed grade flag.
* Added text checking flag.
Powered by Savane 3.14-60ba.
Corresponding source code