ACL2 Releases

The current ACL2 release on the ACL2 home page is Version 8.1 (September, 2018).

This page contains:


Incremental releases since Version 8.1:

None

Past releases: