Labs are Fridays

See the syllabus for a description of how labs works.

For instructions on using ACL2s on the lab machines, click here. Most students find it more convenient to use their laptops.

We will post labs here. Current links will change as the term progresses based on where we are in class..

Lab #	Lab Week	Lab Assignment
1	9/8/2017	Lab
2	9/15/2017	Lab
3	9/22/2017	Lab 3
4	9/29/2017	Lab 4 (encryption)
5	10/6/2017	Lab 5 + Lab 6 (Equational Reasoning)
6	10/13/2017	Review Lab
7	10/20/2017	Post exam review
8	10/27/2017	Lab
9	11/3/2017	Lab
10	11/10/2017	Lab 1 (Induction) / Lab 2 (Fib)
11	11/17/2017	Review Lab
12	12/1/2017	No more labs. Enjoy the break. Post exam review if you want it.