abella

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.

https://abella-prover.org

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

sudo port install abella

Add to my watchlist

Installations 3
Requested Installations 3