• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Std
  • Community
  • Proof-automation
  • ACL2
    • Theories
    • Rule-classes
    • Proof-builder
    • Recursion-and-induction
    • Hons-and-memoization
    • Events
    • Parallelism
    • History
    • Programming
    • Operational-semantics
    • Real
    • Start-here
    • Debugging
    • Miscellaneous
    • Output-controls
    • Macros
    • Mailing-lists
    • Interfacing-tools
  • Macro-libraries
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
  • Math
  • Testing-utilities

• ACL2

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.