Welcome to ftp.nluug.nl Current directory: /ftp/pub/os/Linux/distr/salix/sbo/14.0/academic/aris/ |
|
Contents of README:GNU Aris is a sequential proof program, designed to assist anyone interested in solving logical proofs. Aris supports both propositional and predicate logic, as well as Boolean algebra and arithmetical logic in the form of abstract sequences. It uses a predefined set of both inference and equivalence rules, however gives the user options to use older proofs as lemmas, including Isabelle's Isar proofs. |
Name Last modified Size
Parent Directory - README 22-Mar-2013 12:41 405 aris.SlackBuild 28-Apr-2013 20:18 2.1K aris.info 22-Mar-2013 12:41 275 html_doc.patch 28-Apr-2013 20:18 613 slack-desc 22-Mar-2013 12:41 1.0K
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!