Math-related libraries: arithmetic, algebra, bit-vectors. Subtopics 100-theorems ACL2 versions of (some of) the Top 100 Theorems ...
Read More
ACL2 Guide to Logic and Programming Language: Macro-libraries.
Generally useful macros for writing more concise code, and frameworks for quickly introducing concepts like typed structures, typed lists,...
Read More
ACL2 Guide to Logic and Programming Language: Interfacing-tools
Libraries and tools for doing basic file i/o , using raw Common Lisp libraries , working with the operating system , and interfacing with ...
Read More
Subscribe to:
Posts
(
Atom
)