newsGNU Aris - News


GNU Aris 2.2 Released

Item posted by Ian Dunn <skolar42> on Thu 06 Mar 2014 11:51:49 PM UTC.

The tarballs are available here:,tar.gz

and the Windows version is available here:

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: <>

New in 2.2

  * Added undo/redo functionality.

  * Fixed up a lot of bugs in copy/cut/paste.

  * Fixed up several bugs in configuration file loading.

  * Added support for comments.

  * Added LaTeX export option.

  * Changed default colors for sentences and references.

  * Updated to GTK+ 3.

  * Fixed up several processing bugs.

  * Fixed up compilation bugs.

  * Added example proofs.

Back to the top

Powered by Savane 3.13-4448.
Corresponding source code