Loading…
acl2-org is the web presence for the ACL2 Theorem Proving System, a logic and programming language used for modeling computer systems. It includes a tool that assists users in proving properties of those models.
We haven’t found ACL2 in the AI answers we’ve checked.
