ACL2 how to keep part of a list?...

Adding Reciprocals in ACL2...

Wheres-waldo function in LISP...

Simple numeric theorem not accepted by ACL2...

How to update variable values in ACL2?...

What does ACL2 exit code 137 mean?...

How to fix loop in rewriting proof...

Writing a select() function in ACL2...

Recursively appending lists to the front of an element within a list...

How do I make time$ work with ctrl+t e in ACL2 and emacs?...

ACL2's GL clock ran out...

ACL2 Bridge worker thread throws undefined function exception...

How to loop using recursion in ACL2?...