PACKAGE NAME:  aris-2.2-i586-1salix15.0.txz
PACKAGE LOCATION:  ./salix/academic
PACKAGE SIZE (compressed):  155 K
PACKAGE SIZE (uncompressed):  620 K
PACKAGE REQUIRED:  aaa_libraries|bzip2,aaa_libraries|glib2,aaa_libraries|libcap,aaa_libraries|libffi,aaa_libraries|libjpeg-turbo,aaa_libraries|libpng,aaa_libraries|pcre,aaa_libraries|xz,at-spi2-atk,at-spi2-core,atk,brotli,cairo,dbus,elogind,fontconfig,freetype,fribidi,gdk-pixbuf2,glib2,graphite2,gtk+3,harfbuzz,libX11,libXau,libXcomposite,libXcursor,libXdamage,libXdmcp,libXext,libXfixes,libXi,libXinerama,libXrandr,libXrender,libepoxy,libglvnd,libxcb,libxkbcommon,libxml2,pango,pixman,util-linux,wayland,zlib
PACKAGE CONFLICTS:  
PACKAGE SUGGESTS:  
PACKAGE DESCRIPTION:
aris: aris (sequential proof program)
aris:
aris: GNU Aris is a sequential proof program, designed to assist anyone
aris: interested in solving logical proofs. Aris supports both propositional
aris: and predicate logic, as well as Boolean algebra and arithmetical logic
aris: in the form of abstract sequences. It uses a predefined set of both
aris: inference and equivalence rules, however gives the user options to use
aris: older proofs as lemmas, including Isabelle's Isar proofs.
aris:
aris: Home page: https://www.gnu.org/software/aris/
aris: