General information About ACL2
This is ACL2 Version 8.4, copyright (C) 2021, Regents of the University of Texas, authored by Matt Kaufmann and J Strother Moore.
See the ACL2 home page for additional information including tutorials, installation instructions, mailing lists, related publications, ACL2 workshops and seminars, acknowledgments, and other ACL2 releases.
See documentation for how to access the ACL2 User's Manual.
For statistics on ACL2 code size, see file