On 11/4/11 10:03 PM, David Blubaugh wrote: > I was wondering as to how one does lisp development within Maxima ?? > Probably like doing lisp development anywhere else. I don't think of it as being different, just because it's maxima. What are you thinking of doing? > > Has anyone ever integrated ACL2 within MAXIMA ?? > Not that I know of. Ray