This software 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
I've moved Aris over to git. While git isn't my favorite VCS by far, it's more commonly used, and thus will be easier for other contributors to use.
The tarballs are available here:
http://ftp.gnu.or ... s/aris-2.2,tar.gz
http://ftp.gnu.or ... /aris-2.2.tar.bz2
and the Windows version is available here:
http://ftp.gnu.or ... /aris-w32-2.2.zip
GNU Aris is a logical proof program. It supports both propositional and
[...]
The tarballs
are available here:
http://ftp.gnu.or ... aris-2.1.1.tar.gz
http://ftp.gnu.or ... ris-2.1.1.tar.bz2
and the Windows version is available here:
http://ftp.gnu.or ... ris-w32-2.1.1.zip
GNU Aris is a logical proof program. It supports both propositional and
[...]
The tarballs
are available here:
http://ftp.gnu.or ... s/aris-2.1.tar.gz
http://ftp.gnu.or ... /aris-2.1.tar.bz2
and the Windows version is available here:
http://ftp.gnu.or ... /aris-w32-2.1.zip
GNU Aris is a logical proof program. It supports both propositional and
[...]
Copyright © 2025 Free Software Foundation, Inc.
Verbatim copying and distribution of this entire article
is permitted in any medium, provided this notice is preserved.
The Levitating,
Meditating, Flute-playing Gnu logo is a GNU GPL'ed image provided
by the Nevrax Design Team.
Page source code
Powered by Savane 3.15-e563.
Corresponding source code