2 Teachpacks

These books are not a part of the ACL2 distribution; they were developed for classroom use and are distributed with Dracula. Some of them make use of DrScheme’s imperative capabilities such as interactive animations and automated unit testing.