summaryrefslogtreecommitdiffstats
path: root/academic/abella
Commit message (Expand)AuthorAgeFilesLines
* academic/abella: Fix README. B. Watson2020-10-171-12/+15
* academic/abella: Reflow README. B. Watson2020-02-011-12/+17
* academic/abella: Added (interactive theorem prover). Jefferson Rocha2019-08-104-0/+132