summaryrefslogtreecommitdiffstats
path: root/academic/acl2/slack-desc (follow)
Commit message (Expand)AuthorAgeFilesLines
* academic/acl2: Added (Computational Logic for LiSP). Lockywolf2023-07-181-0/+19