GNU Aris - Summary
This project is part of the GNU Project.
A logical proof program that supports both propositional and predicate logic, in addition to Boolean algebra and arithmetical logic, the latter of which is met by using abstract sequences.
Registration Date: Tue 08 May 2012 08:39:18 PM UTC
License: GNU General Public License v3 or later
Development Status: 4 - Beta
posted by skolar42, Tue 25 Sep 2012 01:28:10 PM UTC - 0 replies
The tarballs are available here:
[http://ftp.gnu.org/gnu/aris/aris-2.0.tar.gz]
[http://ftp.gnu.org/gnu/aris/aris-2.0.tar.bz2]
and the Windows version is available here:
[http://ftp.gnu.org/gnu/aris-w32-2.0.zip]
GNU Aris is a logical proof ...
[Read more]
posted by skolar42, Sun 15 Jul 2012 08:01:47 PM UTC - 0 replies
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.
...
[Read more]
posted by skolar42, Thu 24 May 2012 03:52:39 PM UTC - 0 replies
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 ...
[Read more]
posted by skolar42, Thu 10 May 2012 01:10:41 PM UTC - 0 replies
The tarballs are available here:
http://ftp.gnu.org/gnu/aris/aris-1.0.tar.gz
http://ftp.gnu.org/gnu/aris/aris-1.0.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/>
This is the initial release of GNU Aris.
[Submit News]
[4 news in archive]



