j
k
j a
j l
I just posted materials from my presentation:
http://www.peterd.org/acl2s-boston-lisp/
See also, of course
http://acl2s.peterd.org/acl2s/doc/
and
http://www.cs.utexas.edu/~moore/acl2/
Back to the thread
Back to the list