ACL2 Help

ACL2 "Proof Checker" Commands

All commands
Common commands

Helpful Instructions for Setting up ACL2 and Windows

Instructions

Tidbits for People Wanting to Modify ACL2

Tidbits

Link to My Copy of the ACL2 Manual

I'm only using this in hopes that we can finally get Google to crawl the manual.

Tip for using Centaur ACL2 books

How does one avoid the error No such package as "cutil" when certifying one's own books?

Use the following in your cert.acl2 file or your book's .acl2 file:
(include-book "cutil/portculiss" :dir :system)


Home

Valid XHTML 1.1!