Welcome to ftp.nluug.nl Current directory: /ftp/pub/os/Linux/distr/salix/sbo/14.1/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 26-Nov-2013 10:57 405 aris.SlackBuild 26-Nov-2013 10:57 2.2K aris.info 26-Nov-2013 10:57 279 html_doc.patch 26-Nov-2013 10:57 613 slack-desc 26-Nov-2013 10:57 1.0K
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!