README 405 B

1234567
  1. GNU Aris is a sequential proof program, designed to assist anyone interested
  2. in solving logical proofs. Aris supports both propositional and predicate
  3. logic, as well as Boolean algebra and arithmetical logic in the form of
  4. abstract sequences. It uses a predefined set of both inference and equivalence
  5. rules, however gives the user options to use older proofs as lemmas, including
  6. Isabelle's Isar proofs.