aris-2.1.1-i586-1_slonly.txz


Advertisement

Description

aris - sequential proof program

Property Value
Distribution Slackware 14.2
Repository Slackonly i486
Package name aris
Package version 2.1.1
Package release 1_slonly
Package architecture i586
Package type txz
Installed size 850.00 KB
Download size 152.00 KB
Official Mirror packages.slackonly.com
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_slonly.txz 2.1.1 x86_64 Slackonly
aris - - -

Download

Type URL
Binary Package aris-2.1.1-i586-1_slonly.txz
Source Package unknown

Install Howto

  1. Download aris-2.1.1-i586-1_slonly.txz
  2. Install aris txz package:
    # upgradepkg --install-new aris-2.1.1-i586-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-i586-2_slonly.txz free software implementation of arj archiver
arka-0.11-i586-1_slonly.txz A GUI for genpak
arm-1.4.5.0-noarch-1_slonly.txz The anonymizing relay monitor
arm-binutils-2.25-i586-1_slonly.txz Cross compiling binutils for the ARM platform
arm-gcc-4.9.2-i586-1_slonly.txz Cross compiling gcc for the ARM platform
arm-gdb-7.8.1-i586-1_slonly.txz Gdb for the ARM platform
armadillo-7.100.3-i586-1_slonly.txz C++ linear algebra library
armagetronad-0.2.8.3.4-i586-1_slonly.txz old school Tron lightcycles openGL game
arno-iptables-firewall-2.0.1e-noarch-3_slonly.txz front-end for iptables
arnold-cpc-2009.03.17-i586-1_slonly.txz Amstrad CPC emulator
arora-20150623_7c7514d-i586-1_slonly.txz web browser
arp-scan-1.9-i586-1_slonly.txz ARP scanning and fingerprinting tool
arpack-2.1-i586-1_slonly.txz Fortran library for solving large scale eigenvalue problems
arpack-ng-3.5.0-i586-1_slonly.txz library for solving large scale eigenvalue problems
arping-2.13-i586-1_slonly.txz sends arp and/or ip pings to a given host
Advertisement
Advertisement