aris-2.1.1-x86_64-1_slack.txz


Advertisement

Description

aris - sequential proof program

Property Value
Distribution Slackware 14.1
Repository Slackonly x86_64
Package filename aris-2.1.1-x86_64-1_slack.txz
Package name aris
Package version 2.1.1
Package release 1_slack
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-i486-1_slack.txz 2.1.1 i486 Slackonly
aris - - -

Download

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

Install Howto

  1. Download aris-2.1.1-x86_64-1_slack.txz
  2. Install aris txz package:
    # upgradepkg --install-new aris-2.1.1-x86_64-1_slack.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_slack.txz free software implementation of arj archiver
arka-0.11-x86_64-1_slack.txz A GUI for genpak
arm-1.4.5.0-noarch-1_slack.txz The anonymizing relay monitor
armadillo-4.650.2-x86_64-1_slack.txz C++ linear algebra library
armagetronad-0.2.8.3.3-x86_64-1_slack.txz old school Tron lightcycles openGL game
arno-iptables-firewall-2.0.1e-noarch-5_slack.txz front-end for iptables
arnold-cpc-2009.03.17-x86_64-5_slack.txz Amstrad CPC emulator
arora-20120612_e310d63-x86_64-1_slack.txz web browser
arp-scan-1.9-x86_64-1_slack.txz ARP scanning and fingerprinting tool
arpack-2.1-x86_64-3_slack.txz Fortran library for solving large scale eigenvalue problems
arpack-ng-3.3.0-x86_64-2_slack.txz library for solving large scale eigenvalue problems
arping-2.13-x86_64-1_slack.txz sends arp and/or ip pings to a given host
arpwatch-2.1a15-x86_64-1_slack.txz Monitoring tools for tracking IP addresses on a network
artha-1.0.3-x86_64-1_slack.txz artha - the open thesaurus
artwiz-aleczapka-1.3-noarch-2_slack.txz Artwiz Fonts Revisited
Advertisement
Advertisement