mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-26 22:06:35 +01:00
20 lines
953 B
Text
20 lines
953 B
Text
|
# 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:
|