1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-05 01:55:52 +00:00
freebsd-ports/math/abella/pkg-descr
2019-11-29 19:40:18 +00:00

7 lines
349 B
Plaintext

Abella is an interactive theorem prover based on lambda-tree syntax. This means
that Abella is well-suited for reasoning about the meta-theory of programming
languages and other logical systems which manipulate objects with binding. For
example, the following applications are included in the distribution of Abella.
WWW: http://abella-prover.org/