The interesting applications page of the ACL2 documentation has a summary of some uses of the system.
在ACL2文档的有趣的应用页面里有一些关于其实际应用的简介。