Architecture compliance

ACL2 is a meta-tool and is not (yet) intended to be inserted into the learning space. Though see the page reporting on the experience of a high school student learning ACL2 over a summer.

This page is URL http://www.computationallogic.com/software/caeti/acl2/compliance.html