ACL2 Guide to Logic and Programming Language: Interfacing-tools 8/04/2025 02:23:00 PM Add Comment Libraries and tools for doing basic file i/o , using raw Common Lisp libraries , working with the operating system , and interfacing with ... Read More