newsGNU Aris - News


GNU Aris 1.0 Released

Item posted by Ian Dunn <skolar42> on Thu 10 May 2012 01:10:41 PM UTC.

The tarballs are 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: <>

This is the initial release of GNU Aris.

Back to the top

Powered by Savane 3.13-6ae7.
Corresponding source code