Description
abella (interactive theorem prover based on lambda-tree syntax)
| Distribution | Slackware 14.2 |
| Repository | Slackonly |
| Package name | |
| Package simple name | abella |
| Package Link | http://packages.slackonly.com/pub/packages/14.2-x86_64/./academic/abella/abella-2.0.6-noarch-1_slonly.txz |
| Package size (compressed) | 360 K |
| Package size (uncompressed) | 1350 K |