You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.

Sometimes one wants to reason about mutually recursive functions. Although this is possible in ACL2, it can be a bit awkward. This example is intended to give some ideas about how one can go about ...