Language

Package: aris @ 2.2

Synopsis

Natural deduction first-order logic interface

Description

Aris is a program for performing logical proofs. It supports propositional and predicate logic, as well as Boolean algebra and arithmetical logic. In addition to its predefined inference and equivalence rules, Aris also supports references to older proofs. Its use of standard logical symbols and its natural deduction interface make it easy to use for beginners.

Home page
https://www.gnu.org/software/aris/
Location
gnu/packages/maths.scm (line: 125, column: 2)
License

Lint warnings

LinterMessageLocation
No lint warnings