Another major application of ACL2 is in ACL2 itself: ACL2 is implemented in ACL2!

Consider the possibilities.

[Research] [Home]