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.mdfile. - Run:
opam pin abella .(note the final period) - When prompted by OPAM, say
yesto 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.
Use the following walkthrough for an introduction to using Abella:
https://abella-prover.org/walkthrough.html
More information on Abella is available at
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.