diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2017-02-27 12:42:22 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2017-02-27 12:42:22 +0100 |
| commit | 8779987bba029535d3dc00f1aacf59281fdd34f0 (patch) | |
| tree | 7a6d616d45367d508f94c3593b1ce5c7053c33f5 /gnu/packages/maths.scm | |
| parent | 1885bb0c08e943a2e0e37c5c0a83473c8af904d0 (diff) | |
| parent | a6d9f8837b118e2126e4b8a19bf48b524229a15c (diff) | |
| download | guix-8779987bba029535d3dc00f1aacf59281fdd34f0.tar guix-8779987bba029535d3dc00f1aacf59281fdd34f0.tar.gz | |
Merge branch 'master' into python-tests
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 43b0d0a72a..18536c43ee 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -93,6 +93,29 @@ #:use-module (gnu packages zip) #:use-module (srfi srfi-1)) +(define-public aris + (package + (name "aris") + (version "2.2") + (source (origin + (method url-fetch) + (uri (string-append "mirror://gnu/" name "/" name "-" version ".tar.gz")) + (sha256 (base32 + "1q1887ryqdr9sn0522hc7p16kqwlxxyz5dkmma8ar2nxplhgll7q")))) + (build-system gnu-build-system) + (inputs `(("gtk+" ,gtk+) + ("libxml2" ,libxml2))) + (native-inputs `(("pkg-config" ,pkg-config))) + (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.") + (license license:gpl3+) + (home-page "http://www.gnu.org/software/aris/"))) + (define-public c-graph (package (name "c-graph") |