Lab 1
Objectives Set up the technology we will use for this course. Begin to explore programming in ACL2s.
Labs
Lab 2
Objectives Start programming in ACL2s in earnest. Create open space to practice with an instructor present Situate lecture within an active learning ...