aboutsummaryrefslogtreecommitdiff
path: root/academic/abella/slack-desc
blob: 15174390e784564880f41f90e5265abf1bfd120c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
# HOW TO EDIT THIS FILE:
# The "handy ruler" below makes it easier to edit a package description.  Line
# up the first '|' above the ':' following the base package name, and the '|' on
# the right side marks the last column you can put a character in.  You must make
# exactly 11 lines for the formatting to be correct.  It's also customary to
# leave one space after the ':'.

      |-----handy-ruler------------------------------------------------------|
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: