Matteo Bernardini d8e4d5de7d academic/aris: Fix for gcc >= 10.x. 2 rokov pred
..
README 747661d77f academic/aris: Fix README. 4 rokov pred
aris.SlackBuild d8e4d5de7d academic/aris: Fix for gcc >= 10.x. 2 rokov pred
aris.info 6f6a902299 academic/aris: Updated for version 2. New maintainer. 3 rokov pred
help_path.diff 6f6a902299 academic/aris: Updated for version 2. New maintainer. 3 rokov pred
slack-desc 6f6a902299 academic/aris: Updated for version 2. New maintainer. 3 rokov pred

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.