Welcome to ftp.vim.org, Hosted by ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/i486/extra-15.0/source/academic/aris/

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                                                     03-Jun-2022 23:34  405   
 aris-2.2.tar.bz2                                           03-Jun-2022 23:34  264K  
 aris.SlackBuild                                            11-Mar-2022 06:34  3.4K  
 aris.info                                                  03-Jun-2022 23:34  282   
 help_path.diff                                             03-Jun-2022 23:34  415   
 slack-desc                                                 03-Jun-2022 23:34  1.0K  

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!