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: