On this page:
ACL2s Beginner Mode
6.12

ACL2s Beginner Mode

    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