Fetching latest commit…
Cannot retrieve the latest commit at this time
|Failed to load latest commit information.|
Quick Start =========== Compile Abella by running "make" from the root directory. Use the following walkthrough for an introduction to using Abella: http://abella.cs.umn.edu/walkthrough.html More Information ================ More information on Abella is available at http://abella.cs.umn.edu/ Please report all bugs, feature request, and comments to Andrew Gacek (firstname.lastname@example.org).