aris-2.1.1-x86_64-1_slonly.txz


Advertisement

Description

aris - sequential proof program

Property Value
Distribution Slackware 14.2
Repository Slackonly x86_64
Package filename aris-2.1.1-x86_64-1_slonly.txz
Package name aris
Package version 2.1.1
Package release 1_slonly
Package architecture x86_64
Package type txz
Homepage -
License -
Maintainer -
Download size 148.00 KB
Installed size 830.00 KB
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.
Home page: http://www.gnu.org/software/aris/

Alternatives

Package Version Architecture Repository
aris-2.1.1-i586-1_slonly.txz 2.1.1 i586 Slackonly
aris - - -

Download

Type URL
Mirror packages.slackonly.com
Binary Package aris-2.1.1-x86_64-1_slonly.txz
Source Package -

Install Howto

  1. Download aris-2.1.1-x86_64-1_slonly.txz
  2. Install aris txz package:
    # upgradepkg --install-new aris-2.1.1-x86_64-1_slonly.txz

Files

Path
/install/slack-desc
/usr/
/usr/bin/aris
/usr/bin/test
/usr/doc/
/usr/doc/aris-2.1.1/README
/usr/doc/aris-2.1.1/aris.SlackBuild
/usr/doc/aris-2.1.1/html/Adding.html
/usr/doc/aris-2.1.1/html/Axioms.html
/usr/doc/aris-2.1.1/html/Basic-Usage.html
/usr/doc/aris-2.1.1/html/Boolean-Rules.html
/usr/doc/aris-2.1.1/html/Config-File.html
/usr/doc/aris-2.1.1/html/Connectives.html
/usr/doc/aris-2.1.1/html/Customization.html
/usr/doc/aris-2.1.1/html/Dialog.html
/usr/doc/aris-2.1.1/html/Equivalence-Rules.html
/usr/doc/aris-2.1.1/html/Induction.html
/usr/doc/aris-2.1.1/html/Inference-Rules.html
/usr/doc/aris-2.1.1/html/Interoperability.html
/usr/doc/aris-2.1.1/html/Introduction.html
/usr/doc/aris-2.1.1/html/Isabelle_002fIsar.html
/usr/doc/aris-2.1.1/html/Keyboard-Shortcuts.html
/usr/doc/aris-2.1.1/html/Menu-Options.html
/usr/doc/aris-2.1.1/html/Miscellaneous-Rules.html
/usr/doc/aris-2.1.1/html/Options.html
/usr/doc/aris-2.1.1/html/Other-Key-Shortcuts.html
/usr/doc/aris-2.1.1/html/Predicate-Rules.html
/usr/doc/aris-2.1.1/html/Proof-Windows.html
/usr/doc/aris-2.1.1/html/Recursion.html
/usr/doc/aris-2.1.1/html/Rules-Index.html
/usr/doc/aris-2.1.1/html/Rules-Table.html
/usr/doc/aris-2.1.1/html/Selecting.html
/usr/doc/aris-2.1.1/html/Sequence-Logic.html
/usr/doc/aris-2.1.1/html/Startup.html
/usr/doc/aris-2.1.1/html/Submission.html
/usr/doc/aris-2.1.1/html/Syntax.html
/usr/doc/aris-2.1.1/html/Terms.html
/usr/doc/aris-2.1.1/html/ad.html
/usr/doc/aris-2.1.1/html/as.html
/usr/doc/aris-2.1.1/html/bd.html
/usr/doc/aris-2.1.1/html/bi.html
/usr/doc/aris-2.1.1/html/bn.html
/usr/doc/aris-2.1.1/html/bv.html
/usr/doc/aris-2.1.1/html/case.html
/usr/doc/aris-2.1.1/html/cd.html
/usr/doc/aris-2.1.1/html/class.html
/usr/doc/aris-2.1.1/html/cn.html
/usr/doc/aris-2.1.1/html/co.html
/usr/doc/aris-2.1.1/html/datatype.html
/usr/doc/aris-2.1.1/html/definition.html
/usr/doc/aris-2.1.1/html/dm.html
/usr/doc/aris-2.1.1/html/dn.html
/usr/doc/aris-2.1.1/html/ds.html
/usr/doc/aris-2.1.1/html/dt.html
/usr/doc/aris-2.1.1/html/eg.html
/usr/doc/aris-2.1.1/html/ei.html
/usr/doc/aris-2.1.1/html/ep.html
/usr/doc/aris-2.1.1/html/eq.html
/usr/doc/aris-2.1.1/html/ex.html
/usr/doc/aris-2.1.1/html/fun.html
/usr/doc/aris-2.1.1/html/fv.html
/usr/doc/aris-2.1.1/html/hs.html
/usr/doc/aris-2.1.1/html/id.html
/usr/doc/aris-2.1.1/html/ii.html
/usr/doc/aris-2.1.1/html/im.html
/usr/doc/aris-2.1.1/html/in.html
/usr/doc/aris-2.1.1/html/index.html
/usr/doc/aris-2.1.1/html/instance.html
/usr/doc/aris-2.1.1/html/lemma_002ftheorem.html
/usr/doc/aris-2.1.1/html/lm.html
/usr/doc/aris-2.1.1/html/mp.html
/usr/doc/aris-2.1.1/html/nq.html
/usr/doc/aris-2.1.1/html/other.html
/usr/doc/aris-2.1.1/html/pr.html
/usr/doc/aris-2.1.1/html/primrec.html
/usr/doc/aris-2.1.1/html/sb.html
/usr/doc/aris-2.1.1/html/sm.html
/usr/doc/aris-2.1.1/html/sn.html
/usr/doc/aris-2.1.1/html/sp.html
/usr/doc/aris-2.1.1/html/sq.html
/usr/doc/aris-2.1.1/html/type_005fsynonym.html
/usr/doc/aris-2.1.1/html/ug.html
/usr/doc/aris-2.1.1/html/ui.html
/usr/info/aris.info.gz

See Also

Package Description
arj-3.10.22-x86_64-2_slonly.txz free software implementation of arj archiver
arka-0.11-x86_64-1_slonly.txz A GUI for genpak
arm-1.4.5.0-noarch-1_slonly.txz The anonymizing relay monitor
arm-binutils-2.30-x86_64-1_slonly.txz Cross compiling binutils for the ARM platform
arm-gcc-4.9.2-x86_64-1_slonly.txz Cross compiling gcc for the ARM platform
arm-gdb-8.1-x86_64-1_slonly.txz Gdb for the ARM platform
armadillo-8.100.0-x86_64-1_slonly.txz C++ linear algebra library
arno-iptables-firewall-2.0.1e-noarch-3_slonly.txz front-end for iptables
arora-20150623_7c7514d-x86_64-1_slonly.txz web browser
arp-scan-1.9-x86_64-1_slonly.txz ARP scanning and fingerprinting tool
arpack-2.1-x86_64-1_slonly.txz Fortran library for solving large scale eigenvalue problems
arpack-ng-3.5.0-x86_64-1_slonly.txz library for solving large scale eigenvalue problems
arping-2.13-x86_64-1_slonly.txz sends arp and/or ip pings to a given host
arpwatch-2.1a15-x86_64-1_slonly.txz Monitoring tools for tracking IP addresses on a network
arrow-0.10.0-x86_64-1_slonly.txz python library for dates, times
Advertisement
Advertisement