ACL2 Releases

The current ACL2 release on the ACL2 home page is Version 8.5 (July, 2022).

Past releases:

Note: The ACL2 Home Pages for versions between 5.0 and 7.0, listed above, did not directly include the Community Books, which were distributed separately. You may find the books for those versions at