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

Current bandwidth utilization 1937.21 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                                   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!