| a scribble document for beginner mode of ACL2s | |
| https://github.com/AlexKnauth/acl2s-scribblings | |
| acl2s-scribblings-9999 | all-rights-reserved |
| download | racket-overlay |
| acl2s-scribblings-0_p20220107 | all-rights-reserved |
| download~amd64 ~arm ~ppc ~ppc64 ~x86 | racket-overlay |