PACKAGE NAME:  abella-2.0.6-noarch-1_slonly.txz
PACKAGE MIRROR:  http://packages.slackonly.com/pub/packages/14.2-x86_64/
PACKAGE LOCATION:  ./academic/abella
PACKAGE SIZE (compressed):  360 K
PACKAGE SIZE (uncompressed):  1350 K
PACKAGE REQUIRED:  
PACKAGE CONFLICTS:  
PACKAGE SUGGESTS:  
PACKAGE DESCRIPTION:
abella: abella (interactive theorem prover based on lambda-tree syntax)
abella:
abella: Abella is an interactive theorem prover based on lambda-tree syntax.
abella: This means that Abella is well-suited for reasoning about the meta
abella: theory of programming languages and other logical systems which
abella: manipulate objects with binding. 
abella: For example, the following applications are included in the
abella: distribution of Abella.
abella:
abella: http://abella-prover.org/
abella: