Welcome to ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/i486/extra-15.0/source/academic/aris/ |
|
Contents of README: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!