Please read the relevant sections of your Reasoning About Programs (RAP) book before class.
Send Feedback!
If you find unreported errors, I'll give you extra credit.
Date |
Topic |
Notes |
| Sep 6 | ACL2s Language Reference | This may be updated as we define more functions |
| Sep 6 | Reasoning about Programs | Last updated: Sep 5 |