abella

v 2.0.8.3 Updated: 5 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 0
Requested Installations 0