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

Current bandwidth utilization 1162.82 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                                   11-Mar-2022 06:34  405   
 aris.SlackBuild                          13-Aug-2022 05:44  3.2K  
 aris.info                                13-Aug-2022 05:44  277   
 docs_and_build.patch                     13-Aug-2022 05:44  2.2K  
 slack-desc                               11-Mar-2022 06:34  1.0K  

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