diff options
Diffstat (limited to 'academic/abella/slack-desc')
| -rw-r--r-- | academic/abella/slack-desc | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/academic/abella/slack-desc b/academic/abella/slack-desc deleted file mode 100644 index 15174390e7..0000000000 --- a/academic/abella/slack-desc +++ /dev/null @@ -1,19 +0,0 @@ -# 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: |