For this lab, you should do all of the following:

1. Install the ACL2 Sedan (ACL2s) on your laptop.

2. Use ACL2s to define some simple functions in programming mode.

3. Explore the ACL2s GUI and keyboard shortcuts. 

Information on how to do all of this is available from the ACL2s
Web page (http://acl2s.ccs.neu.edu/acl2s/).