acl2s-scribblings

a scribble document for beginner mode of ACL2s

Build status:

Authors
Documentation
Tags
Last updatedThursday, September 13th, 2018 4:55:00am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/AlexKnauth/acl2s-scribblings.gitd9bc351774707765f6829a606bc535120787fffa
    Last checkedMonday, February 18th, 2019 11:48:56am (UTC)
    Last editedThursday, January 25th, 2018 3:30:28pm (UTC)
    Date addedN/A
    Modules
    • acl2s-scribblings/util/stx.rkt
    • acl2s-scribblings/util/branch-conditions.rkt
    • acl2s-scribblings/scribblings/acl2s.scrbl
    • acl2s-scribblings/acl2s-placeholder.rkt
    • acl2s-scribblings/util/check-generator-predicate.rkt
    • acl2s-scribblings/acl2s-printer.rkt