This is a list of users on Rosetta Code who say they can use ACL2 with any level of proficiency.
This category contains only the following page.