Welcome to ftp.nluug.nl Current directory: /os/Linux/distr/salix/sbo/14.1/academic/aris/

Current bandwidth utilization 1580.06 Mbit/s

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!