Welcome to ftp.vim.org, Hosted by ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/sbo/14.2/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                                       17-Oct-2020 04:49  405   
 aris.SlackBuild                              14-Feb-2021 00:35  3.0K  
 aris.info                                    14-Feb-2021 00:35  282   
 help_path.diff                               14-Feb-2021 00:35  415   
 slack-desc                                   14-Feb-2021 00:35  1.0K  

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