Quick Start

The easiest way to install Abella is using OPAM (version 2.1+).

Go to the topmost directory of the clone of this repository, i.e., the location of this very README.md file.
Run: opam pin abella . (note the final period)
When prompted by OPAM, say yes to install Abella.
Whenever you do a git pull, also do: opam reinstall abella.

To uninstall Abella using OPAM, do:

Run: opam remove abella.
Then run: opam unpin abella.

More Information

Use the following walkthrough for an introduction to using Abella:

https://abella-prover.org/walkthrough.html

More information on Abella is available at

https://abella-prover.org/

Bugs, Feature Requests, and Issues

Please report all bugs, feature requests, and issues on the GitHub issue tracker for Abella, available from:

https://github.com/abella-prover/abella/issues

Discussion of Abella and its uses happens on this mailing list.

http://groups.google.com/group/abella-theorem-prover