dev-racket/acl2s-scribblings
a scribble document for beginner mode of ACL2s
Screenshots
-
acl2s-scribblings-9999doc
View 
Download 
Browse License: all-rights-reserved Overlay: racket-overlay -
acl2s-scribblings-0_p20220107~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: all-rights-reserved Overlay: racket-overlay