We invite users to offer entries for this page. If you are a member of the
ACL2 mailing list, then we would appreciate you broadcasting your entry to
You may also send a suggested FAQ entry to Kaufmann and
You may join the mailing list by sending a message to
The body of the message should contain the line:
where name is your name (not your email address).
We would also be delighted to receive entries that contain both questions and your suggested answers. We feel free to edit the entries appropriately but will give credit appropriately too.