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 ...
This tutorial describes shows how to use the "readable" free-libre/open source software with Common Lisp. The "readable" software adds new abbreviations to traditional Lisp notation, to make it far ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback