acl2s-scribblings

a scribble document for beginner mode of ACL2s

Build status: ok passing tests missing license metadata

Documentation Download
Authors
Documentation
Tags
    License
      Last updatedTuesday, November 18th, 2025 9:18:07pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/AlexKnauth/acl2s-scribblings.gitac77d9f0d87a9e3c3929e86444dfcd4b3d59640c
      Last checkedMonday, December 22nd, 2025 12:50:21am (UTC)
      Last editedThursday, January 25th, 2018 3:30:28pm (UTC)
      Date addedN/A
      Modules
      • acl2s-scribblings/acl2s-printer.rkt
      • acl2s-scribblings/scribblings/acl2s.scrbl
      • acl2s-scribblings/util/stx.rkt
      • acl2s-scribblings/acl2s-placeholder.rkt
      • acl2s-scribblings/util/check-generator-predicate.rkt
      • acl2s-scribblings/util/branch-conditions.rkt