On this page:
ACL2s Beginner Mode
7.0

ACL2s Beginner Mode

For more information on full ACL2 (as opposed to ACL2s), see the ACL2 Manual.

    1 Definitions and Checks

    2 Booleans and Conditionals

    3 Equality

    4 Numbers

    5 Lists and Pairs

    6 Symbols

    7 Strings

    8 Data Definitions

    9 The quote form

    10 Miscellaneous