~whereiseveryone/guix#90: 
acl2

https://github.com/acl2/acl2?tab=readme-ov-file

Status
REPORTED
Submitter
~whereiseveryone
Assigned to
No-one
Submitted
a month ago
Updated
a month ago
Labels
No labels applied.
Register here or Log in to comment, or comment via email.