• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Community
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
    • Theories
    • Rule-classes
    • Proof-builder
    • Recursion-and-induction
    • Hons-and-memoization
    • Events
    • Parallelism
    • History
    • Programming
    • Operational-semantics
    • Real
    • Start-here
      • Gentle-introduction-to-ACL2-programming
      • ACL2-tutorial
      • About-ACL2
        • Recursion-and-induction
        • Operational-semantics
        • Soundness
        • Release-notes
        • Workshops
        • ACL2-tutorial
        • Version
        • How-to-contribute
        • Acknowledgments
        • Using-ACL2
        • Releases
        • Pre-built-binary-distributions
        • Common-lisp
        • Installation
        • Mailing-lists
        • Git-quick-start
        • Copyright
        • ACL2-help
    • Miscellaneous
    • Output-controls
    • Bdd
    • Macros
    • Installation
    • Mailing-lists
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• ACL2
• About-ACL2
• Community

Mailing-lists

Mailing lists for ACL2 users

There are the following mailing lists for ACL2 users. You can post messages to these lists only if you are a member, but anyone can view the archives.

• acl2 list: General ACL2 list for users and others interested in ACL2
  • To post: acl2@utlists.utexas.edu
  • To subscribe, unsubscribe, or view archives: https://utlists.utexas.edu/sympa/info/acl2
• acl2-help list: ACL2 help list, for questions about using ACL2 (recommended for new users)
  • To post: acl2-help@utlists.utexas.edu
  • To subscribe, unsubscribe, or view archives: https://utlists.utexas.edu/sympa/info/acl2-help
• acl2-books list: Mailing list for discussion of cutting-edge developments in ACL2 and the ACL2 Community Books
  • To post: acl2-books@googlegroups.com
  • To subscribe, unsubscribe, or view archives: https://groups.google.com/forum/#!forum/acl2-books

Finally, please report bugs in ACL2 to Matt Kaufmann.

See community for ways to connect with other ACL2 users, get help with ACL2, and contribute to improving ACL2 and its community-books.