This page is under construction.

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 acl2@lists.cc.utexas.edu. You may also send a suggested FAQ entry to Kaufmann and Moore at kaufmann@cs.utexas.edu and moore@cs.utexas.edu.

You may join the mailing list by sending a message to listproc@lists.cc.utexas.edu. The body of the message should contain the line:

subscribe acl2 name

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.