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