v 2.0.7 Updated: 1 year, 6 months ago

Interactive theorem prover

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.


To install abella, paste this in macOS terminal after installing MacPorts

sudo port install abella

Add to my watchlist

Installations 2
Requested Installations 2