mainGNU Aris - Summary

 
 
Membership Info
Project Admin:
1 active member

Group identification
Id: #10990
System Name: aris
Name: GNU Aris
Group Type: Official GNU software

Search in this Group

in
   

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

 

Latest News rss feed
Removing bazaar and mercurial repos
     posted by skolar42, Sat 30 Sep 2017 05:15:08 PM UTC - 0 replies

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.

GNU Aris 2.2 Released
     posted by skolar42, Thu 06 Mar 2014 11:51:49 PM UTC - 0 replies

The tarballs are available here:

http://ftp.gnu.org/gnu/aris/aris-2.2,tar.gz
http://ftp.gnu.org/gnu/aris/aris-2.2.tar.bz2

and the Windows version is available here:

http://ftp.gnu.org/gnu/aris/aris-w32-2.2.zip

GNU Aris is a logical proof program. It supports both propositional and ...


[Read more]
GNU Aris 2.1.1 Released
     posted by skolar42, Sat 14 Sep 2013 04:53:28 PM UTC - 0 replies

The tarballs
are available here:

http://ftp.gnu.org/gnu/aris/aris-2.1.1.tar.gz
http://ftp.gnu.org/gnu/aris/aris-2.1.1.tar.bz2

and the Windows version is available here:

http://ftp.gnu.org/gnu/aris/aris-w32-2.1.1.zip

GNU Aris is a logical proof program. It supports both propositional and ...


[Read more]
GNU Aris 2.1 Released
     posted by skolar42, Fri 30 Aug 2013 02:20:46 PM UTC - 0 replies

The tarballs
are available here:

http://ftp.gnu.org/gnu/aris/aris-2.1.tar.gz
http://ftp.gnu.org/gnu/aris/aris-2.1.tar.bz2

and the Windows version is available here:

http://ftp.gnu.org/gnu/aris/aris-w32-2.1.zip

GNU Aris is a logical proof program. It supports both propositional and ...


[Read more]
[Submit News]
[8 news in archive]

Back to the top


Powered by Savane 3.1-cleanup1