aris-2.1.1-i486-1_slack.txz


Advertisement

Description

aris - sequential proof program

Property Value
Distribution Slackware 14.1
Repository Slackonly i486
Package filename aris-2.1.1-i486-1_slack.txz
Package name aris
Package version 2.1.1
Package release 1_slack
Package architecture i486
Package type txz
Homepage -
License -
Maintainer -
Download size 144.00 KB
Installed size 810.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-x86_64-1_slack.txz 2.1.1 x86_64 Slackonly
aris - - -

Download

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

Install Howto

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