aris-2.1.1-i586-1_slonly.txz


Advertisement

Description

aris - sequential proof program

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

    Download

    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

    • /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
    Advertisement
    Advertisement