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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback