C# : JSON Parser : Recursion example. Thread starter kilnborn; Start date Jul 15, 2016; ... so I did what I always do in such situations, and explain that'd I'm unfamiliar with that, ...

This example is intended to give some ideas about how one can go about such proofs. For an introduction to mutual recursion in ACL2, see mutual-recursion. We begin by defining two mutually recursive ...

The famous "matryoshka" dolls, where every doll has another doll nested inside of it, and another and another, is a classic example of the principle of recursion, where the thing contains itself.