No description, website, or topics provided.
Switch branches/tags
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
lib
one-sided
two-sided
.gitignore
README.md
status.txt

README.md

abella-reasoning

Formalization of the cut-elimination theorem for linear logic related proof systems using Abella, a proof assistant based on lambda-tree syntax.