BSD Ports

math/abella 2.0.8_2 FreeBSD

Interactive theorem prover

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
License
GPLv3
Categories
math
Package size
1105.5 KiB, 3963.1 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

SystemPortVersion
FreeBSDmath/abella2.0.8_2
DragonFlymath/abella2.0.8_2

Install

Binary package:

pkg install abella

From the ports tree:

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

To depend on this port in another port's Makefile:

RUN_DEPENDS=	abella>0:math/abella

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest2.0.8_22.0.8_2-2.0.8_22.0.8_2
FreeBSD:14:quarterly2.0.8_22.0.8_2n/a2.0.8_22.0.8_2
FreeBSD:15:latest2.0.8_22.0.8_2n/a2.0.8_22.0.8_2
FreeBSD:15:quarterly2.0.8_22.0.8_2n/an/an/a
FreeBSD:16:latest2.0.8_22.0.8_2n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

As this port's Makefile names them.

Build 4

The full lists below include those, and their dependencies in turn.

Build dependencies 8

No port depends on this one.

Configuration

No options to configure.

USES
gmake
Service scripts
none

Files

distinfo 1
FileSizeSHA256
abella-2.0.8.tar.gz255157f346ff454a44dca458d10bbc79e4f101b93a9b0186ea35533ce3f4a858f28f63
Master sites 1
  • http://abella-prover.org/distributions/

Commit history 0

No commits in the history this site was built from.