acl2s-scribblings

a scribble document for beginner mode of ACL2s

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedMonday, September 9th, 2019 11:49:45pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/AlexKnauth/acl2s-scribblings.git5df28624fe8dcf2286ae7e9896ab59b9e4fb7400
Last checkedWednesday, December 11th, 2019 7:02:52pm (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