Back in the '70s and '80s Lisp workstations were an important development. A portable version of one of those environments was created at that time called Medley. The source code to that original ...

Lisp is not provided by a single group or organization. Lisp is a language definition, a common specification of a language. Many lisp implementations exist, I will be using a lisp implementation ...

Only certain Lisp data types are supported for programming in ACL2: numbers that are either rational numbers or complex numbers with rational coefficients (see numbers-introduction); the characters ...