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 ...

MUTUAL-RECURSION-PROOF-EXAMPLE a small proof about mutually recursive functions Major Section: TUTORIAL5-MISCELLANEOUS-EXAMPLES. Sometimes one wants to reason about mutually recursive functions.

Mutual Recursion allows us to take the fun of regular recursion (where a function calls itself until a terminating condition) and apply it to multiple functions calling each other! Let's use the ...

Recursion is the process in which a function calls itself directly or indirectly. The corresponding function of recursion is called the recursive function. Some examples of recursion include DFS of ...