Re: When are two proofs essentially the same? (2007) #111 Post by cloogshicer » Sat, Nov 02, 2024, 2:05 PM UTC tightbookkeeper wrote: post #78 cloogshicer wrote: post #74 Earlier quoted context omitted. In which book? Sounds interesting. Art of computer programming volume 1. It’s an exercise with a solution at the end. Thank you, will look into it!