summaryrefslogtreecommitdiff
path: root/academic/abella
Commit message (Expand)AuthorAge
* academic/abella: Reflow README.B. Watson2020-02-01
* academic/abella: Added (interactive theorem prover).Jefferson Rocha2019-08-10