v 2.0.7 Updated: 1 year, 2 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