math/abella 2.0.8_2 DragonFly

Interactive theorem prover

Homepage
Browse the port
Other distributions
Search similar

System: DragonFly
Repository: DPorts
Maintainer: [email protected] (as in FreeBSD)
License: GPLv3
Categories: math
Package size: 822.0 KiB, 3368.4 KiB installed

Description

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.

In the other systems

System

Port

Version

DragonFly

math/abella

2.0.8_2

FreeBSD

math/abella

2.0.8_2

Install

Binary package:

pkg install abella

From DPorts:

cd /usr/dports/math/abella && make install clean

Dependencies

No port depends on this one.