GNU Aris is a logical proof program that supports propositional and predicate logic, as well as Boolean algebra and arithmetical logic, in the form of abstract sequences. Aris uses a predefined set of inference and equivalence rules, but allows the user to reference older proofs, including proofs done in Isar. Aris uses standard logical symbols, and a natural deduction interface, making it easy for beginners to work with.
can be found on the main GNU ftp server:
(via HTTP) and
(via FTP). It can also be found
on the GNU mirrors;
a mirror if possible.
is available online, as
is documentation for most GNU software. You may
also find more information about
or by looking at
or similar directories on your system. A brief summary is available by
running aris --help.
has the following mailing lists:
is used to discuss most aspects of
including development and enhancement requests, as well as bug reports.
and most other GNU software are made on
Security reports that should not be made immediately public can be
sent directly to the maintainer. If there is no response to an urgent
issue, you can escalate to the general
mailing list for advice.
and GNU in general, is a volunteer effort, and you can contribute. For
information, please read How to help GNU. If you'd
like to get involved, it's a good idea to join the discussion mailing
list (see above).
- Test releases
- Trying the latest test release (when available) is always
appreciated. Test releases of
can be found at
(via HTTP) and
- For development sources, issue trackers, and other
information, please see the
- To translate
messages into other languages, please see the Translation Project
If you have a new translation of the message strings,
or updates to the existing strings, please have the changes made in this
repository. Only translations from this site will be incorporated into
For more information, see the Translation
is currently being maintained by
Please use the mailing lists for contact.
is free software; you can redistribute it and/or modify it under the
terms of the GNU General Public License as published by the Free
Software Foundation; either version 3 of the License, or (at your
option) any later version.